Introducing Software Verification with Dafny Language: Proving Program Correctness

Prezzi da
23,08

In evidenza

CONFRONTA TUTTI I WEBSHOP (2)

Descrizione

Introducing Software Verification with Dafny Language: Proving Program Correctness

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

Confronta i webshop (2)

Shop
Prezzo
Amazon Logo
23,08 €
Vai allo shop
Amazon Marketplace Logo
23,08 €
Vai allo shop
Descrizione (0)

Introducing Software Verification with Dafny Language: Proving Program Correctness

Specifiche del prodotto

Marchio Apress
EAN
  • 9781484279779

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

OmniScriptum

E (verification language): Hardware Verification Language, OpenVera

174,95 €
Più informazioni Maggiori info

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

5,13 €
Confronta 2 negozi 2 negozi
Scelta in evidenza
23,08 €
Vai allo shop