Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / Kung-Kiu Lau, Richard Banach (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c2005

形態:

xiv, 496 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 3785 <BA00009279>

著者名:

ISBN:

9783540297970 [3540297979]

書誌ID:

BA74262914

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references 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 ICFEM, Dong, Jin Song, 1967-, Woodcock, James Springer	7 図書 Fundamental approaches to software engineering : 8th International Conference, FASE 2005, held as part of the Joint European Conferences on Theory and Practice … FASE, Cerioli, Maura, European Conferences on Theory and Practice of Software Springer
2 図書 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	8 図書 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
3 図書 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	9 図書 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
4 図書 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	10 電子ブック Formal Methods and Software Engineering International Conference on Formal Engineering Methods, Banach, Richard, Kanade, Takeo, Lau, Kung-Kiu Springer eBooks Computer Science, Springer Berlin / Heidelberg
5 図書 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	11 電子ブック Formal Methods and Software Engineering International Conference on Formal Engineering Methods, Banach, Richard, Kanade, Takeo, Lau, Kung-Kiu, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
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 図書 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

1

2

3

4

5

6

7

8

9

10

11

12