Tests and Proofs: 10th International Conference, Tap 2016, Held as Part of Staf 2016, Vienna, Austria, July 5-7, 2016, Proceedings 2016 Edition Contributor(s): Aichernig, Bernhard K. (Editor), Furia, Carlo A. (Editor) |
|
ISBN: 3319411349 ISBN-13: 9783319411347 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: June 2016 |
Additional Information |
BISAC Categories: - Computers | Compilers - Computers | Software Development & Engineering - General - Mathematics | Logic |
Dewey: 005.1 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.46" H x 6.14" W x 9.21" (0.68 lbs) 199 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. |