Filter By
Books (9)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Validation of Evolving Software by Hana Chockler 9783319106229
Booksplease Price: £46.28This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds... -
Validation of Evolving Software by Hana Chockler 9783319382005
Booksplease Price: £46.28This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds... -
Computer Aided Verification by Hana Chockler 9781013271007
RRP: £56.95Booksplease Price: £49.24Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781013271007Author Hana ChocklerFormat PaperbackPage Count 552Imprint Saint Philip Street... -
Computer Aided Verification by Hana Chockler 9781013270987
RRP: £62.95Booksplease Price: £54.50Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781013270987Author Hana ChocklerFormat PaperbackPage Count 708Imprint Saint Philip Street... -
Computer Aided Verification by Hana Chockler 9781013270994
RRP: £67.95Booksplease Price: £60.52Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781013270994Author Hana ChocklerFormat HardbackPage Count 710Imprint Saint Philip Street... -
Computer Aided Verification by Hana Chockler 9781013271014
RRP: £60.95Booksplease Price: £54.50Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781013271014Author Hana ChocklerFormat HardbackPage Count 554Imprint Saint Philip Street... -
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I by Hana Chockler 9783319961446
Booksplease Price: £46.28This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July... -
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers by Hana Chockler 9783642017018
Booksplease Price: £46.28These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27-30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading... -
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II by Hana Chockler 9783319961415
Booksplease Price: £46.58This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July...