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

Prijzen vanaf
37,83

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:

€ 37,83

€ 37,83

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,70
Vergelijk 2 shops 2 shops

Software Specification and Design

28,13
Meer informatie Meer info

Software Specification and Design

177,07
Meer informatie Meer info

Introducing Software Verification with Dafny Language: Proving Program Correctness

28,99
Meer informatie Meer info
Uitgelichte Keuze
37,83
Naar shop