Hoppa till sidans huvudinnehåll

Hana Chockler - Böcker

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

Computer Aided Verification

AvHana Chockler,Georg Weissenbacher

Häftad, Engelska, 2020

1 099 kr

Skickas inom 3-6 vardagar

Computer Aided Verification

AvHana Chockler,Georg Weissenbacher

Inbunden, Engelska, 2020

1 209 kr

Skickas inom 5-8 vardagar

Computer Aided Verification

AvHana Chockler,Georg Weissenbacher

Häftad, Engelska, 2020

989 kr

Skickas inom 3-6 vardagar

Computer Aided Verification

AvHana Chockler,Georg Weissenbacher

Inbunden, Engelska, 2020

1 089 kr

Skickas inom 5-8 vardagar

Validation of Evolving Software

AvHana Chockler,Daniel Kroening m. fl.

Inbunden, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar

Validation of Evolving Software

AvHana Chockler,Daniel Kroening m. fl.

Häftad, Engelska, 2016

719 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

AvHana Chockler,Georg Weissenbacher

Häftad, Engelska, 2018

719 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

AvHana Chockler,Georg Weissenbacher

Häftad, Engelska, 2018

719 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

AvHana Chockler,Alan J. Hu

Häftad, Engelska, 2009

719 kr

Skickas inom 10-15 vardagar