Books by Tobias Nipkow
No products found matching the selection.
-20%
Term Rewriting and All That
Baader Franz, Franz Baader, Tobias Nipkow
€119.86
€149.82
-20% with code BOOKS
In stock at our supplier
-20%
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Markus Wenzel, Lawrence C. Paulson, Tobias Nipkow
€81.30
€101.62
-20% with code BOOKS
In stock at our supplier
-20%
Concrete Semantics: With Isabelle/HOL
€105.58
€131.98
-20% with code BOOKS
In stock at our supplier
-20%
Concrete Semantics: With Isabelle/HOL
€75.22
€94.03
-20% with code BOOKS
In stock at our supplier
-20%
FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Jayadev Misra, Tobias Nipkow, Emil Sekerinski
€170.76
€213.45
-20% with code BOOKS
In stock at our supplier