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

Prezzi da
90,94

In evidenza

CONFRONTA TUTTI I WEBSHOP (2)

Descrizione

Amazon Pagine: 500, Edizione: Softcover reprint of hardcover 1st edition 2004, Copertina flessibile, Springer
Description Descrizione
Product Specifications Specifiche del prodotto
Risultati correlati Risultati correlati
Next
Previous

Confronta i webshop (2)

Shop
Prezzo
Amazon Logo
90,94 €
Vai allo shop
Amazon Marketplace 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

Springer

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

61,83 €
Confronta 2 negozi 2 negozi

Springer

Automated Theorem Proving: Theory and Practice (English Edition)

88,47 €
Confronta 2 negozi 2 negozi

OmniScriptum

Superposition Calculus: Automated Theorem Proving, First Order Logic, Resolution, Knuth Bendix Completion...

112,75 €
Confronta 2 negozi 2 negozi

The Rapture Theorem: Proving Blood Moon (English Edition)

2,99 €
Confronta 2 negozi 2 negozi
Scelta in evidenza
90,94 €
Vai allo shop