Boer, Frank S.
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, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4709 0302-9743 ; . - Lecture Notes in Computer Science, 4709 .
9783540747925
10.1007/978-3-540-74792-5 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 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures / [electronic resource] : edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4709 0302-9743 ; . - Lecture Notes in Computer Science, 4709 .
9783540747925
10.1007/978-3-540-74792-5 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