Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Saved in:
Bibliographic Details
Format Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2007
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
ISBN3540747915
9783540747918
ISSN0302-9743
1611-3349
DOI10.1007/978-3-540-74792-5

Cover

More Information
ISBN:3540747915
9783540747918
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-540-74792-5