FM 2009 formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
FM 2009 formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / [electronic resource] :
edited by Ana Cavalcanti, Dennis Dams.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
- xvii, 820 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5850 0302-9743 ; .
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.
QA76.76.D47 / I584 2009
005.1
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.
QA76.76.D47 / I584 2009
005.1