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 : 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	7 図書 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
2 電子ブック 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	8 図書 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
3 電子ブック 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	9 図書 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
4 図書 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	10 図書 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
5 図書 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	11 図書 Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings FMCAD (Conference), Hunt, Warren A., 1958-, Johnson, Steven D. (Steven Dexter) Springer
6 図書 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	12 図書 Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, … FORTE, König, Hartmut, 1947-, Heiner, Monika, 1954-, Wolisz, Adam, IFIP Working Group 6.1 Springer

1

2

3

4

5

6

7

8

9

10

11

12