Knygos pagal Tobias Nipkow
Term Rewriting and All That
Baader Franz, Franz Baader, Tobias Nipkow
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Markus Wenzel, Lawrence C. Paulson, Tobias Nipkow
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Concrete Semantics: With Isabelle/HOL
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Concrete Semantics: With Isabelle/HOL
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Jayadev Misra, Tobias Nipkow, Emil Sekerinski
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją