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
by Frank S. de Boer, Marcello Bonsangue, Susanne Graf, and Willem-Paul de Roever
Share
×Close
This edition 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
|
zzzz
|
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
|
aaaa
|
Book Details
Classifications
Edition Identifiers
Work Identifiers
Community Reviews (0)
History
- Created October 5, 2021
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 5, 2021 | Created by ImportBot | Imported from Better World Books record |