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

Author Daniel Kroening

11 products
Binding
7
3
1
Languages
10
1
Price
Availability
1
7
3
Date of issue
?
Decision Procedures Daniel Kroening / Paperback
common.buy 13 120 Ft
Decision Procedures Daniel Kroening / Hardback
common.buy 17 936 Ft
Hardware and Software: Verification and Testing Sharon Barner / Paperback
common.buy 19 999 Ft
Digitaltechnik - Eine praxisnahe Einführung Armin Biere / Paperback
common.buy 11 030 Ft
Validation of Evolving Software Hana Chockler / Paperback
common.buy 19 999 Ft
Decision Procedures Daniel Kroening / Hardback
common.buy 28 525 Ft
Computer Aided Verification Daniel Kroening / Paperback
common.buy 19 999 Ft
Verified Software: Theories, Tools and Experiments Dimitra Giannakopoulou / Paperback
common.buy 19 204 Ft
Computer Aided Verification Daniel Kroening / Paperback
common.buy 19 999 Ft
Validation of Evolving Software Hana Chockler / Hardback
common.buy 19 999 Ft
Model Checking, second edition Jr. Edmund M. Clarke / Adobe ePub DRM
common.buy 29 998 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?