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

Computer Science Foundations and Applied Logic

Rasta: 6
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
-15% su kodu: ENG15
119,20 
140,23 
Išsiųsime per 11-15 d. d.
Algorithms for Constructing Computably Enumerable Sets
-15% su kodu: ENG15
84,13 
98,98 
Išsiųsime per 11-15 d. d.
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
-15% su kodu: ENG15
84,13 
98,98 
Išsiųsime per 11-15 d. d.
Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis
-15% su kodu: ENG15
112,18 
131,98 
Išsiųsime per 11-15 d. d.
Structural Decision Diagrams in Digital Test: Theory and Applications
-15% su kodu: ENG15
316,76 
372,66 
Išsiųsime per 11-15 d. d.
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
91,15 
107,23 
Išsiųsime per 11-15 d. d.
Rasta: 6