FORMAL PROGRAM VERIFICATION WITH LEAN: Interactive Theorem Proving Proof Assistants and Mathematically Verified Software Engineering

Prezzi da
12,13

Link sponsorizzati

CONFRONTA TUTTI I WEBSHOP (2)

Descrizione

FORMAL PROGRAM VERIFICATION WITH LEAN: Interactive Theorem Proving Proof Assistants and Mathematically Verified Software Engineering

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

Confronta i webshop (2)

Link sponsorizzati · Alcuni negozi ci pagano un compenso

Ordina per:

12,13 €

12,13 €

Descrizione (0)

FORMAL PROGRAM VERIFICATION WITH LEAN: Interactive Theorem Proving Proof Assistants and Mathematically Verified Software Engineering

Specifiche del prodotto

Marchio Independently Published
EAN
  • 9798140543860

Independently Published

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

12,63 €
Confronta 2 negozi 2 negozi

Independently Published

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

11,55 €
Confronta 2 negozi 2 negozi

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

5,13 €
Confronta 2 negozi 2 negozi

Apress

Introducing Software Verification with Dafny Language: Proving Program Correctness

23,08 €
Confronta 3 negozi 3 negozi
Scelta in evidenza
12,13 €
Vai allo shop