Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | paperback Kategorija: Matematički Temelji Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Naša cijena knjige: 76.64 EUR (Cijena ažurirana 22.04.2025) 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:
| Building Proofs Cijena: 22.99 EUR  | What Is the Name of This Book? Cijena: 13.50 EUR  | Godel, Escher, Bach Cijena: 23.50 EUR  | Interactive Theorem Proving and Program Development Cijena: 91.74 EUR  |