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: 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
Language: en
Pages: 184
Pages: 184
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 202
Pages: 202
Type: BOOK - Published: 2023-07-19 - Publisher: Springer Nature
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies
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
