Image from Amazon.com
FM 2009 [electronic resource] : formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / edited by Ana Cavalcanti, Dennis Dams.
Series: Lecture notes in computer science ; 5850Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.Description: xvii, 820 p. : ill., digital ; 24 cmISBN:- 9783642050893 (electronic bk.)
- 9783642050886 (paper)
- Computer software -- Development -- Congresses
- Formal methods (Computer science) -- Congresses
- System design -- Mathematics -- Congresses
- Logics and Meanings of Programs
- Management of Computing and Information Systems
- Mathematical Logic and Formal Languages
- Programming Languages, Compilers, Interpreters
- Programming Techniques
- Software Engineering
- Computer Science
- 005.1 22
- QA76.76.D47 I584 2009
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.