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 電子ブック 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods IEEE
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 電子ブック FME '93: Industrial-Strength Formal Methods Woodcock Springer Berlin Heidelberg
3 電子ブック Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)	9 電子ブック FM’99 — Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Davies, Jim, Wing, Jeannette Marie, Woodcock, … Springer Berlin Heidelberg
4 電子ブック Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)	10 電子ブック FM’99 — Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Davies, Jim, Wing, Jeannette Marie, Woodcock, … Springer Berlin Heidelberg
5 電子ブック Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)	11 電子ブック Formal Methods and Software Engineering International Conference on Formal Engineering Methods, George, Chris, Miao, Huaikou Springer Berlin Heidelberg
6 電子ブック 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods	12 電子ブック FME'96: Industrial Benefit and Advances in Formal Methods International Symposium of Formal Methods Europe, Gaudel, Marie-Claude, Woodcock, Jim Springer Berlin Heidelberg