Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Tobias Nipkow

Rasta: 4
Term Rewriting and All That
-20% su kodu: BOOKS
103,59 
129,49 
Išsiųsime per 11-15 d. d.
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
-20% su kodu: BOOKS
74,52 
93,15 
Išsiųsime per 11-15 d. d.
Concrete Semantics: With Isabelle/HOL
-20% su kodu: BOOKS
98,98 
123,73 
Išsiųsime per 11-15 d. d.
Concrete Semantics: With Isabelle/HOL
-20% su kodu: BOOKS
65,98 
82,48 
Išsiųsime per 11-15 d. d.
Rasta: 4