Boer, Frank S.
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / [electronic resource] : edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5382 0302-9743 ; . - Lecture Notes in Computer Science, 5382 .
9783540921882
10.1007/978-3-540-92188-2 doi
Computer science.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Operating Systems.
QA76.758
005.1
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / [electronic resource] : edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5382 0302-9743 ; . - Lecture Notes in Computer Science, 5382 .
9783540921882
10.1007/978-3-540-92188-2 doi
Computer science.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Operating Systems.
QA76.758
005.1