Dafny for Reliable Software: Practical Specification, Proof, and Program Design

Prijzen vanaf
38,90

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Dafny for Reliable Software: Practical Specification, Proof, and Program Design

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Sorteren op:

€ 38,90

€ 38,90

Beschrijving (0)

Dafny for Reliable Software: Practical Specification, Proof, and Program Design

Productspecificaties

Merk Independently Published
EAN
  • 9798161487754

Independently Published

FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

12,82
Vergelijk 2 shops 2 shops

Software Specification and Design

177,07
Meer informatie Meer info

Software Specification and Design

28,13
Meer informatie Meer info

Introducing Software Verification with Dafny Language: Proving Program Correctness

28,99
Meer informatie Meer info
Uitgelichte Keuze
38,90
Naar shop