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

Yves Bertot

Rasta: 2
Interactive Theorem Proving and Program Development: Coq¿Art: The Calculus of Inductive Constructions
-15% su kodu: ENG15
154,26 
181,48 
Išsiųsime per 11-15 d. d.
Interactive Theorem Proving and Program Development: Coq¿Art: The Calculus of Inductive Constructions
-15% su kodu: ENG15
112,18 
131,98 
Išsiųsime per 11-15 d. d.
Rasta: 2