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] : edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6286 0302-9743 ; . - Lecture Notes in Computer Science, 6286 .
9783642170713
10.1007/978-3-642-17071-3 doi
Computer science.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
QA76.758
005.1
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / [electronic resource] : edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6286 0302-9743 ; . - Lecture Notes in Computer Science, 6286 .
9783642170713
10.1007/978-3-642-17071-3 doi
Computer science.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
QA76.758
005.1