Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
New York :
Springer,
2010
|
| Series: | LNCS sublibrary Programming and software engineering.
Lecture notes in computer science ; 6286 Lecture notes in computer science State-of-the-art survey. |
| Subjects: |
Search Result 1
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
Published 2010
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
Book
Search Result 2
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
Published 2010
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding
Book