Knjiga Interactive Theorem Proving and Program Development (Yves Bertot) - Coq'Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Autor: Yves Bertot

paperback
Kategorija: Matematički Temelji
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Naša cijena knjige: 87.22 EUR
(Cijena ažurirana 23.09.2024)

Besplatna dostava unutar Hrvatske
Komentari čitatelja i recenzije knjiga: Amazon

Alternativne knjižare

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)

Pregledajte i naručite