Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c2004

形態:

xiii, 500 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 3308 <BA00009279>

著者名:

ISBN:

9783540238416 [3540238417]

書誌ID:

BA69750850

子書誌情報

フルテキスト

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 : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings ICFEM, Liu, Zhiming, He, Jifeng, 1943- Springer	7 図書 The 3rd ACM International Workshop on Traceability in Emerging Forms of Software Engineering : TEFSE 2005 : proceedings : 8 November 2005, Long Beach, … ACM International Workshop on Traceability in Emerging Forms of Software Engineering, Maletic, Jonathan I. (Jonathan … Association for Computing Machinery
2 図書 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	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 : 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	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 電子ブック Formal Methods and Software Engineering International Conference on Formal Engineering Methods, Barnett, Mike, Davies, Jim, Schulte, Wolfram SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	10 図書 Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid, Spain, September 27-30, 2004 : … FORTE, Frutos-Escrig, David de, Núñes, Manuel, IFIP Working Group 6.1 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 : 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
6 図書 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	12 図書 Proceedings, 11th Asia-Pacific Software Engineering Conference : November 30-December 3, 2004, Busan, Korea Asia Pacific Software Engineering Conference, Hanʾguk Chŏngbo Kwahakhoe, Hanʾguk Kwahak Chaedan IEEE Computer Society

1

2

3

4

5

6

7

8

9

10

11

12