Formal Methods and Software Engineering

>> Google Books

Formal Methods and Software Engineering

フォーマット:

電子ブック

責任表示:

International Conference on Formal Engineering Methods ; George, Chris ; Miao, Huaikou

言語:

英語

出版情報:

Springer Berlin Heidelberg, 2002

著者名:

ISBN:

9783540000297 [3540000291]

9783540361039 [3540361030]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

その他の標題:	4TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, ICFEM 2002 SHANGHAI, CHINA, OCTOBER 21-25, 2002 PROCEEDINGS
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000211806
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Formal Methods and Software Engineering International Conference on Formal Engineering Methods, Dong, Jin Song, Woodcock, Jim Springer Berlin Heidelberg	7 電子ブック Formal Methods for Software Architectures Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Bernardo, Marco, Inverardi, Paola Springer Berlin Heidelberg
2 電子ブック Formal Methods and Software Engineering International Conference on Formal Engineering Methods, Barnett, Mike, Davies, Jim, Schulte, Wolfram Springer Berlin / Heidelberg	8 電子ブック Proceedings of the 18th international conference on Software engineering Rombach, H. Dieter, Association for Computing Machinery-Digital Library. IEEE Computer Society
3 図書 Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : … ICFEM, Davies, Jim, 1964-, Schulte, Wolfram, Barnett, Mike Springer	9 電子ブック International Conference on Global Software Engineering (ICGSE 2007)
4 電子ブック Formal Foundations for Software Engineering Methods Hussmann, Heinrich Springer Berlin Heidelberg	10 電子ブック Proceedings of the 28th international conference on Software engineering Osterweil, Leon J., Association for Computing Machinery-Digital Library. ACM
5 図書 Formal methods and software development : Colloquium on Software Engineering (CSE) International Joint Conference on Theory and Practice of Software Development, Colloquium on Software Engineering, … Springer-Verlag	11 電子ブック Software-Science, Technology & Engineering, 2007. SwSTE 2007. IEEE International Conference on
6 電子ブック Formal Methods and Software Development Ehrig Springer Berlin Heidelberg	12 電子ブック Statistical Methods in Software Engineering Singpurwalla, Wilson, Simon P. Springer New York