Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings - Lecture Notes in Computer Science -  - Books - Springer International Publishing AG - 9783319411347 - June 21, 2016
In case cover and title do not match, the title is correct

Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13
Add to your iMusic wish list

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. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions.


213 pages, 51 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 21, 2016
ISBN13 9783319411347
Publishers Springer International Publishing AG
Pages 199
Dimensions 155 × 235 × 12 mm   ·   3.34 kg
Language German  
Editor Aichernig, Bernhard K.
Editor Furia, Carlo A.

Mere med samme udgiver