Boekhandel Douwes Den Haag

Lecture Notes in Computer Science

Tests and Proofs

10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Carlo A. Furia & Bernhard K. Aichernig

Tests and Proofs

Lecture Notes in Computer Science

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: Tests and Proofs

 

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.


Langere levertijd

€ 56,15

Levertijd circa 6 tot 12 dagen


Beschrijving Lecture Notes in Computer Science: Tests and Proofs

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.


ISBN
9783319411347
Pagina's
199
Verschenen
Serie
Lecture Notes in Computer Science
NUR
989
Druk
1
Uitvoering
Paperback / softback
Taal
Engels
Uitgever
Springer International Publishing AG

Programmeertalen