Tests and Proofs
Bernhard K. Aichernig
- 21 juni 2016
- 9783319411347
Samenvatting:
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.
€ 47,99
Bestel bij Bol.com >