Boer, Frank S.
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures / [electronic resource] : edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3657 0302-9743 ; . - Lecture Notes in Computer Science, 3657 .
9783540319399
10.1007/11561163 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 Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures / [electronic resource] : edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3657 0302-9743 ; . - Lecture Notes in Computer Science, 3657 .
9783540319399
10.1007/11561163 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