Related Books

Tests and Proofs
Language: en
Pages: 193
Authors: Gordon Fraser
Categories: Computers
Type: BOOK - Published: 2010-06-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
Tests and Proofs
Language: en
Pages: 225
Authors: Jasmin Christian Blanchette
Categories: Computers
Type: BOOK - Published: 2015-07-16 - Publisher: Springer

DOWNLOAD EBOOK

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
Tests and Proofs
Language: en
Pages: 226
Authors: Bertrand Meyer
Categories: Computers
Type: BOOK - Published: 2007-08-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
Tests and Proofs
Language: en
Pages: 184
Authors: Marieke Huisman
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Tests and Proofs
Language: en
Pages: 242
Authors: Margus Veanes
Categories: Computers
Type: BOOK - Published: 2013-06-12 - Publisher: Springer

DOWNLOAD EBOOK

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