Mostrando Paperback Book · Mostrar tudo
Mostrar itens não disponíveis

Lançamentos por Hana Chockler

22 de abril de 2009 – 8 de outubro de 2020

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)