Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Author Klaus Havelund

13 products
Binding
10
3
Availability
3
7
3
Price
Tags
2
Date of issue
?
SPIN Model Checking and Software Verification Klaus Havelund / Paperback
common.buy 51.55 €
NASA Formal Methods Jyotirmoy Deshmukh / Paperback
common.buy 133.49 €
Formal Methods Klaus Havelund / Adobe ePub DRM
common.buy 106.45 €
New
NASA Formal Methods Jyotirmoy Deshmukh / Adobe ePub DRM
common.buy 87.07 €
Java Pathfinder User Guide Klaus Havelund / Paperback
common.buy 16.24 €
Tools and Algorithms for the Construction and Analysis of Systems Erika Abraham / Paperback
common.buy 51.55 €
NASA Formal Methods Jyotirmoy V. Deshmukh / Adobe ePub DRM
common.buy 146.71 €
New
NASA Formal Methods Jyotirmoy Deshmukh / Paperback
common.buy 83.74 €
Formal Methods Klaus Havelund / Paperback
common.buy 92.52 €
NASA Formal Methods Klaus Havelund / Paperback
common.buy 51.55 €
NASA Formal Methods Mihaela Bobaru / Paperback
common.buy 58.31 €
Model Checking Software Klaus Havelund / Paperback
common.buy 51.55 €
Formal Approaches to Software Testing and Runtime Verification Klaus Havelund / Paperback
common.buy 51.55 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?