Formal Methods for Components and Objects
Boer, Frank S.
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers [electronic resource] edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel - Berlin, Heidelberg Springer Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 6286 0302-9743 .
9783642170713
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
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers [electronic resource] edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel - Berlin, Heidelberg Springer Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 6286 0302-9743 .
9783642170713
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