The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New HanaChockler Books

Results for HanaChockler

Showing 1 to 3 of 3 results
Validation of Evolving Software Validation of Evolving Software by Hana Chockler, Daniel Kroening, Leonardo Mariani

Validation of Evolving Software

by Hana Chockler, Daniel Kroening, Leonardo Mariani


ISBN 13: 9783319106229

Format: Hardcover (230 pages)
Publisher: Springer
Published: 31 Jul 2015

Save for later

 
New : $115.79  
New : $115.79
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Part II (Lecture Notes in Computer Science) Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Part II (Lecture Notes in Computer Science) by Hana Chockler, Georg Weissenbacher

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

by Hana Chockler, Georg Weissenbacher


ISBN 13: 9783319961415

Format: Paperback
Publisher: Springer International Publishing AG
Published: 30 Sep 2018

Save for later

 
New : $53.63  
New : $53.63
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Part I (Lecture Notes in Computer Science) Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Part I (Lecture Notes in Computer Science) by Hana Chockler, Georg Weissenbacher

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

by Hana Chockler, Georg Weissenbacher


ISBN 13: 9783319961446

Format: Paperback
Publisher: Springer International Publishing AG
Published: 30 Sep 2018

Save for later

 
New : $53.63  
New : $53.63