Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Show other versions (1)
Bibliographic Details
Main Author: Boer, Frank S.
Corporate Author: SpringerLink (Online service)
Other Authors: Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6286
Subjects:
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
Online Access:http://dx.doi.org/10.1007/978-3-642-17071-3
Description
Physical Description:v.: digital
ISBN:9783642170713
ISSN:0302-9743

Similar Items