| Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings Contributor(s): Leavens, Gary T. (Editor), O'Hearn, Peter (Editor), Rajamani, Sriram K. (Editor) |
|
 |
ISBN: 364215056X ISBN-13: 9783642150562 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: August 2010 |
| Additional Information |
| BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Compilers - Computers | Programming Languages - General |
| Dewey: 005.14 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 0.5" H x 6.1" W x 9.1" (0.85 lbs) 217 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume. |