Tests and Proofs: 7th International Conference, Tap 2013, Budapest, Hungary, June 16-20, 2013. Proceedings 2013 Edition Contributor(s): Veanes, Margus (Editor), Vigano, Luca (Editor) |
|
![]() |
ISBN: 3642389155 ISBN-13: 9783642389153 Publisher: Springer OUR PRICE: $68.40 Product Type: Paperback - Other Formats Published: June 2013 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Compilers - Computers | Programming Languages - General |
Dewey: 003.3 |
Series: Lecture Notes in Computer Science / Programming and Software |
Physical Information: 0.51" H x 6.14" W x 9.21" (0.76 lbs) 233 pages |