3 results for '"Marieke Huisman"'

Did you mean: marker heisman Refine Search

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10855) book cover by — + wishlist Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10855) [9783319944593]
Add to Cart The item has been added

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10855) [9783319944593]

As Low as $54.99

Paperback

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science) book cover by Marieke Huisman, Anton Wijs — + wishlist Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science) [9783031301667]
Add to Cart The item has been added

Marieke Huisman Anton Wijs

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science) [9783031301667]

As Low as $99.99

Hardcover

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science) book cover by Marieke Huisman, Anton Wijs — + wishlist Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science) [9783031301698]
Add to Cart The item has been added

Marieke Huisman Anton Wijs

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science) [9783031301698]

As Low as $64.99

Paperback