An edition of Integrated formal methods
(2004)
Integrated Formal Methods
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Lecture Notes in Computer Science)
1 edition
by Eerke Boiten, John Derrick, and Graeme Smith
- 0 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
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
2004, Springer London, Limited
in English
3540247564 9783540247562
|
zzzz
Libraries near you:
WorldCat
|
2
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Lecture Notes in Computer Science)
May 14, 2004, Springer
Paperback
in English
- 1 edition
3540213775 9783540213772
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"In the early days of computer science, the ultimate goal of formal methods and program verification was to provide technology that could rigorously prove programs fully correct."
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created April 30, 2008
- 12 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| January 14, 2023 | Edited by ImportBot | import existing book |
| January 8, 2023 | 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 |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |