Showing Paperback Book · Show all

In stock at iMusic

Show unavailable items

Releases by Hana Chockler

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

Computer Aided Verification (2020)

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

Computer Aided Verification (2020)

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)