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 Used Book in Good Condition
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)

Used Book in Good Condition

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

Independently Published

LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically...

12,63 €
Confronta 2 negozi 2 negozi

OmniScriptum

Type Safety: Programming Language, Theory, Calculus of Inductive Constructions

132,18 €
Più informazioni Maggiori info

Independently Published

MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development

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