Hoppa till sidans huvudinnehåll

Hana Chockler - Böcker

Visar alla böcker från författaren Hana Chockler.
9 produkter

Computer Aided Verification

Av Hana Chockler, Georg Weissenbacher

Häftad, Engelska, 2020

1 139 kr

Skickas inom 5-8 vardagar

Computer Aided Verification

Av Hana Chockler, Georg Weissenbacher

Inbunden, Engelska, 2020

1 229 kr

Skickas inom 5-8 vardagar

Computer Aided Verification

Av Hana Chockler, Georg Weissenbacher

Häftad, Engelska, 2020

1 039 kr

Skickas inom 5-8 vardagar

Computer Aided Verification

Av Hana Chockler, Georg Weissenbacher

Inbunden, Engelska, 2020

1 109 kr

Skickas inom 5-8 vardagar

Validation of Evolving Software

Av Hana Chockler, Daniel Kroening m. fl

Inbunden, Engelska, 2015

739 kr

Skickas inom 10-15 vardagar

Validation of Evolving Software

Av Hana Chockler, Daniel Kroening m. fl

Häftad, Engelska, 2016

739 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Av Hana Chockler, Georg Weissenbacher

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Av Hana Chockler, Georg Weissenbacher

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar

Hardware and Software: Verification and Testing

4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers

Av Hana Chockler, Alan J. Hu

Häftad, Engelska, 2009

739 kr

Skickas inom 10-15 vardagar