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

Prezzi da
90,94

In evidenza

CONFRONTA TUTTI I WEBSHOP (1)

Descrizione

Amazon Pagine: 500, Edizione: Softcover reprint of hardcover 1st edition 2004, Copertina flessibile, Springer
Description Descrizione
Product Specifications Specifiche del prodotto
Related Products Prodotti connessi
?>
Next
Previous

Confronta i webshop (1)

Shop
Prezzo
Amazon Logo
90,94 €
Vai allo shop
Descrizione (1)

Pagine: 500, Edizione: Softcover reprint of hardcover 1st edition 2004, Copertina flessibile, Springer

Specifiche del prodotto

Marchio Springer
EAN
  • 9783642058806

Prezzi aggiornati il:

Springer

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

61,83 €
Più informazioni Maggiori info

Dover

History of the Calculus and Its Conceptual Development

24,98 €
Più informazioni Maggiori info

Springer

Automated Theorem Proving: Theory and Practice (English Edition)

88,47 €
Più informazioni Maggiori info

Prometheus

Proving History: Bayes's Theorem and the Quest for Historical Jesus (English Edition)

21,41 €
Più informazioni Maggiori info
Scelta in evidenza
90,94 €
Vai allo shop