Books by Hana Chockler
No products found matching the selection.
-20%
Coverage Metrics for Model Checking
€67.94
€84.92
-20% with code BOOKS
In stock at our supplier
-20%
Computer Aided Verification
Hana Chockler, Georg Weissenbacher
€84.52
€105.65
-20% with code BOOKS
In stock at our supplier
-20%
Computer Aided Verification
Hana Chockler, Georg Weissenbacher
€101.18
€126.48
-20% with code BOOKS
In stock at our supplier
-20%
Computer Aided Verification
Georg Weissenbacher, Hana Chockler
€110.88
€138.60
-20% with code BOOKS
In stock at our supplier
-20%
Computer Aided Verification
GEORG. WEISSENBACHER, Hana Chockler
€94.24
€117.80
-20% with code BOOKS
In stock at our supplier