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

Preise von
38,19

Gesponserte Links

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

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

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Gesponserte Links · Einige Shops zahlen uns eine Vergütung

Sortieren nach:

38,19 €

38,19 €

Beschreibung (0)

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

Produktspezifikationen

Marken Independently Published
EAN
  • 9798161487754

Independently Published

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

12,82 €
2 Shops vergleichen 2 Shops

Springer, Springer

Specification and Design of Software Systems Elöd Knuth

21,39 €
Weitere Informationen Mehr Infos

Independently Published

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

12,99 €
2 Shops vergleichen 2 Shops

Springer

Specification, Algebra, and Software Kazuhiro Ogata

53,49 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
38,19 €
Zum Shop