Marieke Huisman

Books By Marieke Huisman

Books by Marieke Huisman

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... Thessaloniki, Greece, April 14-20, 2018...

Marieke Huisman

Out of Stock

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Marieke Huisman

Out of Stock

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Marieke Huisman

Out of Stock

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks^® and the ThriftBooks^® logo are registered trademarks of Thrift Books Global, LLC

Marieke Huisman

Books by Marieke Huisman

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us