| Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings Contributor(s): Brucker, Achim (Editor), Julliand, Jacques (Editor) |
|
 |
ISBN: 3642304729 ISBN-13: 9783642304729 Publisher: Springer OUR PRICE: $66.49 Product Type: Paperback Published: May 2012 |
| Additional Information |
| BISAC Categories: - Computers | Software Development & Engineering - General - Mathematics | Logic - Computers | Compilers |
| Dewey: 005.14 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 0.6" H x 5.9" W x 9.3" (0.60 lbs) 177 pages |