Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

所蔵情報QRコード

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings / Jin Song Dong, Jim Woodcock (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2003

形態:

xi, 681 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2885 <BA00009279>

著者名:

ISBN:

9783540204619 [354020461X]

書誌ID:

BA64762841

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographies and index
主題:	Formal methods (Computer science)--Congresses; Software engineering--Congresses
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings Dong, Jin Song., Woodcock, Jim., SpringerLink (Online service)	7 電子ブック Formal Methods and Software Engineering International Conference on Formal Engineering Methods, Dong, Jin Song, Woodcock, Jim SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : … ICFEM, Lau, K.-K. (Kung-Kiu), 1953-, Banach, Richard Springer	8 図書 Integrated formal methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings International Conference on Integrated Formal Methods, Boiten, Eerke A., Derrick, John, Smith, Graeme Springer
3 図書 Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings ICFEM, Liu, Zhiming, He, Jifeng, 1943- Springer	9 図書 Proceedings, IEEE International Conference on Software-- Science, Technology & Engineering (SwSTE'03) : November 4-5, 2003, Herzlia, Israel IEEE International Conference on Software--Science, Technology & Engineering, IEEE Computer Society. Israel Chapter, … IEEE Computer Society
4 図書 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	10 図書 Fundamental approaches to software engineering : 6th International Conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice … FASE, European Conferences on Theory and Practice of Software, Pezzè, Mauro Springer
5 図書 Proceedings, first International Conference on Software Engineering and Formal Methods, Brisbane, Australia, September 22 to 27, 2003 International Conference on Software Engineering and Formal Methods IEEE Computer Society	11 図書 Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings International Conference on Integrated Formal Methods, Grieskamp, Wolfgang, 1960-, Santen, Thomas, 1965-, Stoddart, … Springer
6 図書 Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings International Conference on Integrated Formal Methods, Romijn, Judi, Smith, Graeme, 1966-, Pol, Jaco Springer	12 図書 FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings (v. 1 ; v. 2) World Congress on Formal Methods in the Development of Computing Systems, Wing, Jeannette Marie, Woodcock, James, … Springer

1

2

3

4

5

6

7

8

9

10

11

12