Formal Methods for Components and Objects
de Boer, Frank S.
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected Papers [electronic resource]: - New York : Springer Jan. 2011 - Lecture Notes in Computer Science / Programming and Software Engineering Ser. .
License restrictions may limit access.
Annotation This state-of-the-art survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009.
Scholarly & Professional Springer
9783642170706 3642170706 (Trade Paper) USD 83.00 Retail Price (Publisher) = Formal Methods for Components and Objects
9783642170706
3642170706 00024965
QA76.9.F67
005.131 / F o M
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected Papers [electronic resource]: - New York : Springer Jan. 2011 - Lecture Notes in Computer Science / Programming and Software Engineering Ser. .
License restrictions may limit access.
Annotation This state-of-the-art survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009.
Scholarly & Professional Springer
9783642170706 3642170706 (Trade Paper) USD 83.00 Retail Price (Publisher) = Formal Methods for Components and Objects
9783642170706
3642170706 00024965
QA76.9.F67
005.131 / F o M