Knygos pagal Hana Chockler
Coverage Metrics for Model Checking
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Computer Aided Verification
Hana Chockler, Georg Weissenbacher
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Computer Aided Verification
Hana Chockler, Georg Weissenbacher
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Computer Aided Verification
Georg Weissenbacher, Hana Chockler
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Computer Aided Verification
GEORG. WEISSENBACHER, Hana Chockler
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją