>> Google Books
所蔵情報QRコード

Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2000
形態:
x, 439 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1945 <BA00009279>
著者名:
ISBN:
9783540411963 [3540411968]
書誌ID:
BA49106972
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Integrated Formal Methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

Grieskamp, Wolfgang., Santen, Thomas., Stoddart, Bill., SpringerLink (Online service)
7 図書 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
2 電子ブック Integrated Formal Methods

International Conference on Integrated Formal Methods, Grieskamp, Wolfgang, Hartmanis, Juris, Santen, Thomas, Stoddart, …

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 図書 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
3 図書 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
9 図書 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
4 図書 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
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 図書 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
11 図書 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
6 図書 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
12 図書 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
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12