Hana Chockler - Böcker

Visar alla böcker från författaren Hana Chockler.
9 produkter
Hana Chockler, Georg Weissenbacher - Computer Aided Verification, Häftad

Häftad, Engelska, 2020

1 139 kr

Skickas inom 5-8 vardagar
Hana Chockler, Georg Weissenbacher - Computer Aided Verification, Inbunden

Inbunden, Engelska, 2020

1 259 kr

Skickas inom 5-8 vardagar
Hana Chockler, Georg Weissenbacher - Computer Aided Verification, Häftad

Häftad, Engelska, 2020

1 039 kr

Skickas inom 5-8 vardagar
Hana Chockler, Georg Weissenbacher - Computer Aided Verification, Inbunden

Inbunden, Engelska, 2020

1 129 kr

Skickas inom 5-8 vardagar
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina - Validation of Evolving Software, Inbunden

Inbunden, Engelska, 2015

739 kr

Skickas inom 10-15 vardagar
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina - Validation of Evolving Software, Häftad

Häftad, Engelska, 2016

739 kr

Skickas inom 10-15 vardagar
Hana Chockler, Georg Weissenbacher - Computer Aided Verification, Häftad

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar
Hana Chockler, Georg Weissenbacher - Computer Aided Verification, Häftad

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar
Hana Chockler, Alan J. Hu - Hardware and Software: Verification and Testing, Häftad

Häftad, Engelska, 2009

739 kr

Skickas inom 10-15 vardagar