Releases by Hana Chockler

All7
Hardcover Book3
Paperback Book4

In stock at iMusic Show unavailable items

Cover for Hana Chockler · Computer Aided Verification (Paperback Book) (2020)

Computer Aided Verification (2020)

Cover for Hana Chockler · Computer Aided Verification (Hardcover Book) (2020)

Computer Aided Verification (2020)

Cover for Hana Chockler · Computer Aided Verification (Paperback Book) (2020)

Computer Aided Verification (2020)

Cover for Hana Chockler · Computer Aided Verification (Hardcover Book) (2020)

Computer Aided Verification (2020)

Cover for Hana Chockler · Validation of Evolving Software (Hardcover Book) [2015 edition] (2015)

Validation of Evolving Software (2015)

Cover for Hana Chockler · Coverage Metrics for Model Checking (Paperback Book) (2011)

Coverage Metrics for Model Checking (2011)

Cover for Hana Chockler · Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers - Programming and Software Engineering (Paperback Book) [2009 edition] (2009)

Hardware and Software: Verificat... (2009)