Interactive Theorem Proving and Program Development - Coq'Art: the Calculus of Inductive Constructions (2004)

Interactive Theorem Proving and Program Development - Coq'Art: the Calculus of Inductive Constructions (2004)

Ofertele pentru produsul

 

Interactive Theorem Proving and Program Development - Coq'Art: the Calculus of Inductive Constructions (Bertot Yves)(Cartonat) (9783540208549)

462,40 RON
+ 13,00 RON costul livrarii
Livrare: max 1 sapt.
spre magazin »
enbook.ro
Descrierea produsului
Autor C. Paulin-Mohring, G. Huet, P. Casteran, Yves Bertot
Limba Engleză
Număr pagini 468
Greutate 1940

Ați găsit greşeli în descrierea produsului? Vă rugăm să ne trimiteți o notificare!

Cartonat. Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic int
Păreri
Intrebari&Raspunsuri

Prețurile și informațiile de pe paginile noastre sunt furnizate de magazinele partenere și au caracter informativ, unele erori pot apărea. Imaginile produselor au caracter informativ, uneori pot include niște accesorii care nu sunt mereu incluse în pachetul de baza. Informațiile aferente produsului (imagine, descriere, preț) se pot schimba fără notificare prealabilă. Compari.ro nu își asumă responsabilitate pentru eventualele greșeli.