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 Tobias Nipkow

15 products
Binding
11
2
2
Price
Availability
2
9
4
Date of issue
?
Isabelle/HOL Tobias Nipkow / Paperback
common.buy 24 377 Ft
FM 2006: Formal Methods Jayadev Misra / Paperback
common.buy 42 564 Ft
Higher-Order Algebra, Logic, and Term Rewriting Jan Heering / Paperback
common.buy 20 331 Ft
Concrete Semantics Tobias Nipkow / Hardback
common.buy 31 799 Ft
Types for Proofs and Programs Henk Barendregt / Paperback
common.buy 20 331 Ft
Isabelle Lawrence C. Paulson / Paperback
common.buy 20 331 Ft
Concrete Semantics Tobias Nipkow / Paperback
common.buy 22 696 Ft
Automated Reasoning Rajeev Gore / Paperback
common.buy 21 667 Ft
Functional Data Structures and Algorithms Tobias Nipkow / Paperback
common.buy 20 841 Ft
Functional Data Structures and Algorithms Tobias Nipkow / Hardback
common.buy 28 239 Ft
Term Rewriting and All That Franz Baader / Adobe ePub DRM
common.buy 27 385 Ft
Theorem Proving in Higher Order Logics Stefan Berghofer / Paperback
common.buy 20 331 Ft
Automated Reasoning Rajeev Gore / Paperback
common.buy 40 544 Ft
Rewriting Techniques and Applications Tobias Nipkow / Paperback
common.buy 20 331 Ft
Functional Data Structures and Algorithms Tobias Nipkow / Adobe ePub DRM
common.buy 20 482 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?