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

Prezzi da
11,55

In evidenza

CONFRONTA TUTTI I WEBSHOP (2)

Descrizione

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

Description Descrizione
Product Specifications Specifiche del prodotto
Risultati correlati Risultati correlati
Next
Previous

Confronta i webshop (2)

Shop
Prezzo
Amazon Logo
11,55 €
Vai allo shop
Amazon Marketplace Logo
11,55 €
Vai allo shop
Descrizione (0)

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

Specifiche del prodotto

Marchio Independently Published
EAN
  • 9798194130320

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

5,13 €
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

Springer

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

90,94 €
Confronta 2 negozi 2 negozi

Springer

Automated Theorem Proving in Software Engineering (English Edition)

36,39 €
Confronta 2 negozi 2 negozi
Scelta in evidenza
11,55 €
Vai allo shop