Lecture Notes in Computer Science10889- Tests and Proofs
Catherine Dubois
- 03 juni 2018
- 9783319929934
Samenvatting:
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions.
€ 51,99
Bestel bij Bol.com >