Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

所蔵情報QRコード

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings / Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c2005

形態:

xi, 405 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 3771 <BA00009279>

著者名:

ISBN:

9783540304920 [3540304924]

書誌ID:

BA74645469

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Formal methods (Computer science)--Congresses
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings Romijn, Judi M.T., Smith, Graeme P., van de Pol, Jaco C., SpringerLink (Online service) Springer Berlin Heidelberg	7 図書 Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings International Conference on Integrated Formal Methods, Butler, Michael, Petre, Luigia, Sere, K. (Kaisa), 1954- Springer
2 図書 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	8 図書 Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings ICFEM, Dong, Jin Song, 1967-, Woodcock, James Springer
3 電子ブック Integrated Formal Methods International Conference on Integrated Formal Methods, Kanade, Takeo, Pol, Jaco van de, Romijn, Judi, Smith, Graeme, … Springer eBooks Computer Science, Springer Berlin / Heidelberg	9 図書 Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : … FORTE, Wang, Farn Springer
4 電子ブック Integrated Formal Methods International Conference on Integrated Formal Methods, Kanade, Takeo, Pol, Jaco van de, Romijn, Judi, Smith, Graeme, … SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	10 図書 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
5 図書 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	11 電子ブック Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings Boiten, Eerke., Derrick, John., Smith, Graeme., SpringerLink (Online service) Springer Berlin Heidelberg
6 図書 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	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12