World Congress on Formal Methods in the Development of Computing Systems

ID:DA12441706

別名: Congress on Formal Methods in the Development of Computing Systems, World

FM

同姓同名の著者を検索

検索結果2件中 1-2 を表示

1

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

Dennis Dams ... [et al.], (eds.)

Springer c1999 Lecture notes in computer science 1680

所蔵館31館
2

FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Springer c1999 Lecture notes in computer science 1708, 1709

v. 1 , v. 2

所蔵館37館

この著者を外部サイトでさがす

関連著者

ページトップへ