Formal Methods and Software Engineering

>> Google Books

Formal Methods and Software Engineering

フォーマット:

電子ブック

責任表示:

International Conference on Formal Engineering Methods ; Barnett, Mike ; Davies, Jim ; Schulte, Wolfram

言語:

英語

出版情報:

Springer Berlin / Heidelberg, 2004

著者名:

ISBN:

9783540238416 [3540238417]

9783540304821 [3540304827]

子書誌情報

オンライン

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

所蔵情報

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

詳細

その他の標題:	6TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, ICFEM 2004, SEATTLE, WA, USA, NOVEMBER 8-12, 2004, PROCEEDINGS FORMAL METHODS & SOFTWARE ENGINEERING
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000212629
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 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
2 電子ブック Formal Methods and Software Engineering International Conference on Formal Engineering Methods, Dong, Jin Song, Woodcock, Jim Springer Berlin Heidelberg	8 電子ブック Formal Methods and Software Development Ehrig Springer Berlin Heidelberg
3 電子ブック Formal Methods and Software Engineering International Conference on Formal Engineering Methods, George, Chris, Miao, Huaikou Springer Berlin Heidelberg	9 電子ブック Formal Methods for Software Architectures Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Bernardo, Marco, Inverardi, Paola Springer Berlin Heidelberg
4 電子ブック FM’99 — Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Davies, Jim, Wing, Jeannette Marie, Woodcock, … Springer Berlin Heidelberg	10 電子ブック Proceedings of the 18th international conference on Software engineering Rombach, H. Dieter, Association for Computing Machinery-Digital Library. IEEE Computer Society
5 電子ブック FM’99 — Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Davies, Jim, Wing, Jeannette Marie, Woodcock, … Springer Berlin Heidelberg	11 電子ブック International Conference on Global Software Engineering (ICGSE 2007)
6 電子ブック Formal Foundations for Software Engineering Methods Hussmann, Heinrich Springer Berlin Heidelberg	12 電子ブック Proceedings of the 28th international conference on Software engineering Osterweil, Leon J., Association for Computing Machinery-Digital Library. ACM