Rigorous software development : an introduction to program verification
Other Authors: | |
---|---|
Language: | English |
Published: |
London, U. K. ; New York:
Springer,
c2011.
|
Series: | Undergraduate topics in computer science
|
Subjects: | |
Online Access: | http://www.loc.gov/catdir/enhancements/fy1108/2011286573-t.html http://www.loc.gov/catdir/enhancements/fy1108/2011286573-d.html http://www.loc.gov/catdir/enhancements/fy1108/2011286573-b.html |
Internet
http://www.loc.gov/catdir/enhancements/fy1108/2011286573-t.htmlhttp://www.loc.gov/catdir/enhancements/fy1108/2011286573-d.html
http://www.loc.gov/catdir/enhancements/fy1108/2011286573-b.html
Tembila General Collection
Call Number: |
QA76 76 V47 R54 2011 |
---|
Accession | Item Category | Format | Status | Notes |
---|
1000141777 | Open Shelf (30 days) | Book | Available |