>> 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

類似資料:

International Conference on Integrated Formal Methods, Grieskamp, Wolfgang, 1960-, Santen, Thomas, 1965-, Stoddart, …

Springer

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

Springer

International Conference on Integrated Formal Methods, Boiten, Eerke A., Derrick, John, Smith, Graeme

Springer

International Conference on Integrated Formal Methods, Romijn, Judi, Smith, Graeme, 1966-, Pol, Jaco

Springer

FMCAD (Conference), Hunt, Warren A., 1958-, Johnson, Steven D. (Steven Dexter)

Springer

International Conference on Software Engineering and Formal Methods

IEEE Computer Society

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

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12