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

Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere (eds.)

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

類似資料:

1 図書 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
7 図書 FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

International Symposium of Formal Methods Europe, 荒木, 啓二郎, Gnesi, Stefania, 1954-, Mandrioli, Dino

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 aspects of security : first International Conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers

FASec, Abdallah, Ali E., 1957-, Ryan, Peter, 1957-, Schneider, S. A. (Steve A.)

Springer
3 電子ブック Integrated Formal Methods

International Conference on Integrated Formal Methods, Butler, Michael, Hartmanis, Juris, Petre, Luigia, Sere, Kaisa

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
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 : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings

ICFEM, Liu, Zhiming, He, Jifeng, 1943-

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 図書 Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings

WS-FM, Bravetti, Mario, Núñez, Manuel, Zavattaro, Gianluigi

Springer
6 図書 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
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