Boer, Frank S.
Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures / [electronic resource] : edited by Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5751 0302-9743 ; . - Lecture Notes in Computer Science, 5751 .
9783642041679
10.1007/978-3-642-04167-9 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 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures / [electronic resource] : edited by Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5751 0302-9743 ; . - Lecture Notes in Computer Science, 5751 .
9783642041679
10.1007/978-3-642-04167-9 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