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 11.49 €
phone Contact phoneHow to shop

Author Helmut Veith

7 products
Binding
5
1
1
Price
Availability
1
2
2
2
Date of issue
?
Handbook of Model Checking Roderick Bloem / Hardback
common.buy 144.22 €
25 Years of Model Checking Orna Grumberg / Paperback
common.buy 36.25 €
Computer Aided Verification Natasha Sharygina / Paperback
common.buy 103.10 €
Handbook of Model Checking Edmund M. Clarke / Paperback
common.buy 158.60 €
Computer Science Logic Anuj Dawar / Paperback
common.buy 58.63 €
Model Checking, second edition Jr. Edmund M. Clarke / Adobe ePub DRM
common.buy 84.26 €
Logic for Programming, Artificial Intelligence, and Reasoning Iliano Cervesato / Paperback
common.buy 114.64 €

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?