An edition of Formal methods
(2009)
Formal methods
state of the art and new directions
by Paul Boca, J. P. Bowen, and J. I. Siddiqi
- 1 Rating
- 0 Want to read
- 0 Currently reading
- 1 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 4 featured editions. View all 4 editions?
| Edition | Availability |
|---|---|
1
Formal Methods: State of the Art and New Directions
Oct 20, 2014, Springer
paperback
1447157451 9781447157458
|
zzzz
Libraries near you:
WorldCat
|
2
Formal Methods: State of the Art and New Directions
May 03, 2010, Springer
paperback
1848827377 9781848827370
|
zzzz
Libraries near you:
WorldCat
|
3
Formal methods: state of the art and new directions
2010, Springer
in English
1848827350 9781848827356
|
aaaa
Libraries near you:
WorldCat
|
4
Formal Methods: State of the Art and New Directions
2009, Springer
in English
1848827369 9781848827363
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references.
Classifications
The Physical Object
ID Numbers
Source records
Community Reviews (0)
Feedback?
History
- Created July 29, 2011
- 8 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| February 25, 2022 | Edited by ImportBot | import existing book |
| November 13, 2020 | Edited by MARC Bot | import existing book |
| May 22, 2020 | Edited by CoverBot | Added new cover |
| July 29, 2014 | Edited by ImportBot | import new book |
| July 29, 2011 | Created by LC Bot | Imported from Library of Congress MARC record |