An edition of Formal methods at the crossroads
(2004)
Formal Methods at the Crossroads. From Panacea to Foundational Support
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software ... Papers (Lecture Notes in Computer Science)
1 edition
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Congresses, Software engineering| Edition | Availability |
|---|---|
1
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software ... Papers (Lecture Notes in Computer Science)
January 22, 2004, Springer
Paperback
in English
- 1 edition
3540205276 9783540205272
|
aaaa
|
Book Details
First Sentence
"The sudden death of Arrmando in February devastated his many friends and colleagues around the world."
The Physical Object
Edition Identifiers
Work Identifiers
Source records
Community Reviews (0)
Lists
History
- Created April 30, 2008
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| March 28, 2025 | Edited by ImportBot | Redacting ocaids |
| April 9, 2019 | Edited by MARC Bot | import existing book |
| April 6, 2014 | Edited by ImportBot | Added IA ID. |
| August 12, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |