An edition of Formal methods for components and objects
(2006)
Formal Methods for Components and Objects
4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)
1 edition
by Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever
- 0 Ratings
- 1 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Formal methods (Computer science), Congresses, Component software, Object-oriented programming (Computer science), Informatique, Approche orientee objet (Informatique), Composants logiciels, Methodes formelles (Informatique), Congres, Object-oriented programming (computer science), Computer softwareShowing 3 featured editions. View all 3 editions?
| Edition | Availability |
|---|---|
1
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
2009, Springer London, Limited
in English
3642041671 9783642041679
|
zzzz
Libraries near you:
WorldCat
|
|
2
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures
2008, Springer London, Limited
in English
3540921885 9783540921882
|
zzzz
Libraries near you:
WorldCat
|
3
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)
September 25, 2006, Springer
Paperback
in English
- 1 edition
3540367497 9783540367499
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| February 25, 2022 | Edited by ImportBot | import existing book |
| October 28, 2018 | Edited by ImportBot | import existing book |
| July 28, 2014 | Created by ImportBot | import new book |