Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | hardback Kategória: Számítógépes programozás / Szoftverfejlesztés Kategória: Számítástechnika Kategória: Computing: Általános Kategória: Szoftverfejlesztés Kategória: Mesterséges intelligencia Kategória: Computer Architecture & Logikai tervezés Kategória: Systems Analysis & Design Kategória: Mathematical Logic Springer-Verlag Berlin and Heidelberg GmbH & Co. KG A mi ajánlatunk: 119.34 EUR (az ár frissült 19.09.2024) Ingyenes szállítás Magyarországra több Olvasók véleménye és könyvajánlók: Amazon |
Ehhez a könyvhöz szintén ajánljuk a következő könyveket:
| An Illustrated Book of Bad Arguments Ár: 14.05 EUR  | Godel, Escher, Bach Ár: 23.50 EUR  | Distribution Logistics Ár:  | Geometry of Continued Fractions Ár: 81.03 EUR  |