Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Saved in:
Bibliographic Details
Format Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2008
SeriesLecture Notes in Computer Science
Subjects
Computer Science
Logics and Meanings of Programs
Operating Systems
Programming Languages, Compilers, Interpreters
Software Engineering
Software Engineering/Programming and Operating Systems
Online AccessGet full text
ISBN9783540921875
3540921877
ISSN0302-9743
1611-3349
DOI10.1007/978-3-540-92188-2

Cover

More Information
ISBN:9783540921875
3540921877
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-540-92188-2