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

FM 2006 : Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2006
形態:
xv, 620 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 4085 <BA00009279>
著者名:
ISBN:
9783540372158 [3540372156]
書誌ID:
BA78200034
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック FM 2006: Formal Methods

Misra, Jayadev, Kanade, Takeo, Nipkow, Tobias, Sekerinski, Emil

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Symposium on Designing Interactive Systems: Processes, Practices, Methods & Techniques, Olson, Gary M., Schuon, Sue, …

Association for Computing Machinery

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

Springer

International Workshop on Formal Techniques for Java-like Programs, European Conference on Object-Oriented Programming

Association for Computing Machinery

International Workshop on Rapid System Prototyping, IEEE Computer Society. Technical Committee on Simulation, IEEE …

IEEE Computer Society

International Workshop on Exception Handling, ACM SIGSOFT International Symposium on Foundations of Software Engineering

Association for Computing Machinery

VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953-

Springer-Verlag

TACAS, European Conferences on Theory and Practice of Software, Hermanns, Holger, Palsberg, Jens

Springer

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