Hardcover bog Paperback Bog
Vis udgåede udgivelser

Udgivelser med Hana Chockler

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

Computer Aided Verification (2020)

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

Computer Aided Verification (2020)

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

Computer Aided Verification (2020)

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

Computer Aided Verification (2020)

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

Validation of Evolving Software (2015)

Cover for Hana Chockler · Coverage Metrics for Model Checking (Paperback Bog) (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 Bog) [2009 edition] (2009)

Hardware and Software: Verificat... (2009)