Introducing Software Verification with Dafny Language: Proving Program Correctness

Prezzi da
23,08

In evidenza

CONFRONTA TUTTI I WEBSHOP (1)

Descrizione

Amazon Pagine: 152, Edizione: 1st edition, Copertina flessibile, Apress
Description Descrizione
Product Specifications Specifiche del prodotto
Related Products Prodotti connessi
?>
Next
Previous

Confronta i webshop (1)

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

Pagine: 152, Edizione: 1st edition, Copertina flessibile, Apress

Specifiche del prodotto

Marchio Apress
EAN
  • 9781484279779

Prezzi aggiornati il:

Independently Published

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

11,61 €
Più informazioni Maggiori info

Springer

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer...

25,16 €
Più informazioni Maggiori info

Academic Press

System Verification: Proving the Design Solution Satisfies Requirements (English Edition)

53,84 €
Più informazioni Maggiori info

Apress

Introducing Blockchain with Java: Program, Implement, and Extend Blockchains Java

37,73 €
Più informazioni Maggiori info
Scelta in evidenza
23,08 €
Vai allo shop