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

Markus Wenzel

Rasta: 1
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.
Rasta: 1