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: 184
Pages: 184
Type: BOOK - Published: 2024-09-09 - Publisher: Springer Nature
This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9
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: 132
Pages: 132
Type: BOOK - Published: 2022-06-21 - Publisher: Springer Nature
This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Appli
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
