Related Books
Language: en
Pages: 193
Pages: 193
Type: BOOK - Published: 2010-06-17 - Publisher: Springer Science & Business Media
This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1–2 in M ́ alaga, Spain as part of TO
Language: en
Pages: 225
Pages: 225
Type: BOOK - Published: 2015-07-16 - Publisher: Springer
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as par
Language: en
Pages: 226
Pages: 226
Type: BOOK - Published: 2007-08-09 - Publisher: Springer Science & Business Media
Readers will find here a book that constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, held in Zurich
Language: en
Pages: 184
Pages: 184
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 242
Pages: 242
Type: BOOK - Published: 2013-06-12 - Publisher: Springer
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as par