| Verification, Model Checking, and Abstract Interpretation: 13th International Conference, Vmcai 2012, Philadelphia, Pa, Usa, January 22-24, 2012, Proc Contributor(s): Kuncak, Viktor (Editor), Rybalchenko, Andrey (Editor) |
|
 |
ISBN: 3642279392 ISBN-13: 9783642279393 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: January 2012 |
| Additional Information |
| BISAC Categories: - Computers | Computer Science - Computers | Software Development & Engineering - General - Computers | Programming - Algorithms |
| Dewey: 005.14 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 1" H x 6.1" W x 9.2" (1.55 lbs) 457 pages |