Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | hardback Kategorija: Computer Programming / razvoj softvera Kategorija: Informatika Kategorija: Computing: Općenito Kategorija: Programsko inženjerstvo Kategorija: Umjetna inteligencija Kategorija: Arhitektura računala i logika dizajn Kategorija: Analiza i dizajn sustava Kategorija: Matematička logika Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Naša cijena knjige: 119.34 EUR (Cijena ažurirana 19.09.2024) Besplatna dostava unutar Hrvatske Komentari čitatelja i recenzije knjiga: Amazon Alternativne knjižare Tražim nižu cijenu...
Tražim nižu cijenu...
Tražim nižu cijenu...
Tražim nižu cijenu...
Amazon.com: Provjeri cijenu Provjeri (dobava iz SAD-a u 7-28 dana)Amazon.co.uk: Provjeri cijenu Provjeri (dobava iz Velike Britanije u 5-18 dana) Amazon.it: Provjeri cijenu Provjeri (dobava iz EU u 4-12 dana) Amazon.de: Provjeri cijenu Provjeri (dobava iz EU u 4-12 dana) |
Uz ovu knjigu također predlažemo i sljedeće knjige:
| Interactive Theorem Proving and Program Development Cijena: 64.24 EUR  | An Illustrated Book of Bad Arguments Cijena: 14.05 EUR  | Distribution Logistics Cijena:  | Geometry of Continued Fractions Cijena: 81.03 EUR  |