Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures / [electronic resource] :
edited by Frank S. Boer ... [et al.].
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- viii, 296 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 4709 0302-9743 ; .
9783540747925 (electronic bk.) 9783540747918 (paper)
Computers.
QA76.9.F67 / F53 2007
004
9783540747925 (electronic bk.) 9783540747918 (paper)
Computers.
QA76.9.F67 / F53 2007
004
