Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /
Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / [electronic resource] :
FMCO 2008
edited by Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- x, 297 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5751 0302-9743 ; .
9783642041679 (electronic bk.) 9783642041662 (paper)
Formal methods (Computer science)--Congresses.
Object-oriented programming (Computer science)--Congresses.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Operating Systems.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer Science.
QA76.9.F67 / F536 2008
004.0151
9783642041679 (electronic bk.) 9783642041662 (paper)
Formal methods (Computer science)--Congresses.
Object-oriented programming (Computer science)--Congresses.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Operating Systems.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer Science.
QA76.9.F67 / F536 2008
004.0151