An edition of Formal methods for components and objects
(2003)
Formal Methods for Components and Objects
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science)
1 edition
by Frank S. de Boer, Marcello Bonsangue, Susanne Graf, and Willem-Paul de Roever
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science)
December 5, 2003, Springer
Paperback
in English
- 1 edition
3540203036 9783540203032
|
aaaa
|
2
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures
2003, Springer London, Limited
in English
354039656X 9783540396567
|
zzzz
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
| September 21, 2024 | Edited by MARC Bot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| December 8, 2020 | Edited by MARC Bot | import existing book |
| July 29, 2014 | Created by ImportBot | import new book |