Sell, buy or rent Hana Chockler textbooks

9783319106229-3319106228-Validation of Evolving Software
9783319106229-3319106228-Validation of Evolving Software

Validation of Evolving Software

by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
ISBN-13: 9783319106229
ISBN-10: 3319106228
Edition: 2015
Publisher: Springer
Format: Hardcover 228 pages
Sell Shop now at Amazon eBook from $29.70
9783642017018-3642017010-Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... (Lecture Notes in Computer Science, 5394)
9783642017018-3642017010-Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... (Lecture Notes in Computer Science, 5394)

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... (Lecture Notes in Computer Science, 5394)

by Hana Chockler, Alan J. Hu
ISBN-13: 9783642017018
ISBN-10: 3642017010
Edition: 2009
Publisher: Springer
Format: Paperback 227 pages
Sell Shop now at Amazon eBook from $16.50
9783319961415-3319961411-Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... II (Lecture Notes in Computer Science, 10982)
9783319961415-3319961411-Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... II (Lecture Notes in Computer Science, 10982)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... II (Lecture Notes in Computer Science, 10982)

by Hana Chockler, Georg Weissenbacher
ISBN-13: 9783319961415
ISBN-10: 3319961411
Edition: 1st ed. 2018
Publication date: 2018
Publisher: Springer
Format: Paperback 565 pages
Sell Shop now at Amazon
9781013270994-1013270991-Computer Aided Verification
9781013270994-1013270991-Computer Aided Verification

Computer Aided Verification

by Georg Weissenbacher, Hana Chockler
ISBN-13: 9781013270994
ISBN-10: 1013270991
Publication date: 2020
Publisher: Saint Philip Street Press
Format: Hardcover 710 pages
Sell Shop now at Amazon
9781013271014-1013271017-Computer Aided Verification
9781013271014-1013271017-Computer Aided Verification

Computer Aided Verification

by Hana Chockler, Georg Weissenbacher
ISBN-13: 9781013271014
ISBN-10: 1013271017
Publication date: 2020
Publisher: Saint Philip Street Press
Format: Hardcover 554 pages
Sell Shop now at Amazon
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.