Image from Amazon.com
FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski.
Series: Lecture Notes in Computer Science ; 4085Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Description: xv, 620 p. : ill., digital ; 24 cmISBN:- 9783540372165 (electronic bk.)
- Computer software -- Development -- Congresses
- Formal methods (Computer science) -- Congresses
- System design -- Mathematics -- Congresses
- Computer Science
- Logics and Meanings of Programs
- Management of Computing and Information Systems
- Mathematical Logic and Formal Languages
- Programming Languages, Compilers, Interpreters
- Programming Techniques
- Software Engineering
- 005.3 22
- QA76.76.D47 I593 2006
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.