Sell, buy or rent A. Finkel textbooks

9783642074783-3642074782-Systems and Software Verification: Model-Checking Techniques and Tools
9783642074783-3642074782-Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

by B. Berard
ISBN-13: 9783642074783
ISBN-10: 3642074782
Edition: Softcover reprint of hardcover 1st ed. 2001
Publication date: 2010
Publisher: Springer
Format: Paperback 202 pages
Sell Shop now at Amazon
9783540415237-3540415238-Systems and Software Verification: Model-Checking Techniques and Tools
9783540415237-3540415238-Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

by B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
ISBN-13: 9783540415237
ISBN-10: 3540415238
Edition: 2001
Publisher: Springer
Format: Hardcover 202 pages
Sell Buy from $144.60 eBook from $44.70
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.