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

Saved in:
Bibliographic Details
Format Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2010
SeriesLecture Notes in Computer Science
Subjects
Computer Science
Logics and Meanings of Programs
Operating Systems
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Software Engineering/Programming and Operating Systems
Online AccessGet full text
ISBN9783642170706
3642170706
ISSN0302-9743
1611-3349
DOI10.1007/978-3-642-17071-3

Cover

More Information
ISBN:9783642170706
3642170706
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-17071-3