Formal Methods and Software Engineering

>> Google Books

Formal Methods and Software Engineering

フォーマット:

電子ブック

責任表示:

International Conference on Formal Engineering Methods ; Dong, Jin Song ; Woodcock, Jim

言語:

英語

出版情報:

Springer Berlin Heidelberg, 2003

著者名:

ISBN:

9783540204619 [354020461X]

9783540398936 [3540398937]

子書誌情報

オンライン

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

所蔵情報

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

詳細

その他の標題:	5TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, ICFEM 2003, SINGAPORE, NOVEMBER 5-7, 2003, PROCEEDINGS FORMAL METHODS & SOFTWARE ENGINEERING
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000212246
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, Barnett, Mike, Davies, Jim, Schulte, Wolfram Springer Berlin / Heidelberg	7 電子ブック FME'96: Industrial Benefit and Advances in Formal Methods International Symposium of Formal Methods Europe, Gaudel, Marie-Claude, Woodcock, Jim Springer Berlin Heidelberg
2 図書 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	8 電子ブック Formal Foundations for Software Engineering Methods Hussmann, Heinrich Springer Berlin Heidelberg
3 電子ブック FME '93: Industrial-Strength Formal Methods Woodcock Springer Berlin Heidelberg	9 図書 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
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 電子ブック Formal Methods and Software Development Ehrig Springer Berlin Heidelberg
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 電子ブック Formal Methods for Software Architectures Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Bernardo, Marco, Inverardi, Paola Springer Berlin Heidelberg
6 電子ブック Formal Methods and Software Engineering International Conference on Formal Engineering Methods, George, Chris, Miao, Huaikou Springer Berlin Heidelberg	12 電子ブック Proceedings of the 18th international conference on Software engineering Rombach, H. Dieter, Association for Computing Machinery-Digital Library. IEEE Computer Society