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 159 kr

Skickas inom 7-10 vardagar

Computer Aided Verification

Av Hana Chockler, Georg Weissenbacher

Inbunden, Engelska, 2020

1 249 kr

Skickas inom 7-10 vardagar

Computer Aided Verification

Av Hana Chockler, Georg Weissenbacher

Häftad, Engelska, 2020

1 049 kr

Skickas inom 7-10 vardagar

Computer Aided Verification

Av Hana Chockler, Georg Weissenbacher

Inbunden, Engelska, 2020

1 119 kr

Skickas inom 7-10 vardagar

Validation of Evolving Software

Av Hana Chockler, Daniel Kroening m. fl

Inbunden, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Validation of Evolving Software

Av Hana Chockler, Daniel Kroening m. fl

Häftad, Engelska, 2016

729 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

729 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

729 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

729 kr

Skickas inom 10-15 vardagar