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
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Author Klaus Havelund

13 products
Binding
10
3
Availability
3
10
Price
Tags
2
Date of issue
?
SPIN Model Checking and Software Verification Klaus Havelund / Paperback
common.buy 20 339 Ft
Tools and Algorithms for the Construction and Analysis of Systems Erika Abraham / Paperback
common.buy 20 339 Ft
NASA Formal Methods Mihaela Bobaru / Paperback
common.buy 23 383 Ft
New
NASA Formal Methods Jyotirmoy Deshmukh / Paperback
common.buy 30 051 Ft
Formal Approaches to Software Testing and Runtime Verification Klaus Havelund / Paperback
common.buy 20 338 Ft
New
NASA Formal Methods Jyotirmoy Deshmukh / Adobe ePub DRM
common.buy 31 686 Ft
Formal Methods Klaus Havelund / Adobe ePub DRM
common.buy 38 757 Ft
NASA Formal Methods Jyotirmoy Deshmukh / Paperback
common.buy 52 714 Ft
NASA Formal Methods Jyotirmoy V. Deshmukh / Adobe ePub DRM
common.buy 53 385 Ft
Java Pathfinder User Guide Klaus Havelund / Paperback
common.buy 6 535 Ft
NASA Formal Methods Klaus Havelund / Paperback
common.buy 20 339 Ft
Formal Methods Klaus Havelund / Paperback
common.buy 36 512 Ft
Model Checking Software Klaus Havelund / Paperback
common.buy 20 339 Ft

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?