Boer, Frank S.
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / [electronic resource] : edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4111 0302-9743 ; . - Lecture Notes in Computer Science, 4111 .
9783540367505
10.1007/11804192 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 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / [electronic resource] : edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4111 0302-9743 ; . - Lecture Notes in Computer Science, 4111 .
9783540367505
10.1007/11804192 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