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

Prix à partir de
37,65

Liens sponsorisés

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

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

Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (2)

Liens sponsorisés · Certaines boutiques nous versent une rémunération

Trier par:

37,65 € Total 37,66 €

37,65 € Total 37,66 €

Description (0)

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

Spécifications du produit

Marque Independently Published
EAN
  • 9798161487754

Independently Published

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

12,64 €
Comparer 2 magasins 2 magasins

Independently Published

Testing and Quality Assurance: Practical Strategies for Reliable Native Software

27,99 €
Comparer 2 magasins 2 magasins

Independently Published

Testing and Quality Assurance: Practical Strategies for Reliable Native Software

17,99 €
Comparer 2 magasins 2 magasins

Independently Published

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

12,81 €
Comparer 2 magasins 2 magasins
Choix en vedette
37,65 €
Voir l’offre