An edition of The symbolic execution of software
(1995)
The symbolic execution of software
the SYM-BOL system
by David Coward, Darrel Ince, and David Coward
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
Last edited by IdentifierBot
August 18, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
The Symbolic Execution of Software
January 15, 1995, International Thomson Computer Press
Paperback
in English
- 1st edition
0412583402 9780412583407
|
zzzz
Libraries near you:
WorldCat
|
2
The symbolic execution of software: the SYM-BOL system
1995, Chapman & Hall
in English
0412583402 9780412583407
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Bibliography: p. 147-151.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created October 23, 2008
- 4 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 18, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 13, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
| December 15, 2009 | Edited by WorkBot | link works |
| October 23, 2008 | Created by ImportBot | Imported from University of Toronto MARC record |