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

Precios a partir de
37,12

Enlaces patrocinados

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

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

Description Descripción
Product Specifications Especificaciones del producto
Resultados relacionados Resultados relacionados
Next
Previous

Comparar tiendas web (2)

Enlaces patrocinados · Algunas tiendas nos pagan una remuneración

Ordenar por:

37,12 €

37,12 €

Descripción (0)

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

Especificaciones del producto

Marca Independently Published
EAN
  • 9798161487754

Independently Published

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

12,46 €
Comparar 2 tiendas 2 tiendas

Independently Published

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

12,63 €
Comparar 2 tiendas 2 tiendas

Independently Published

Testing and Quality Assurance: Practical Strategies for Reliable Native Software (Modern Application Development Workflow)

17,99 €
Comparar 2 tiendas 2 tiendas

Independently Published

Testing and Quality Assurance: Practical Strategies for Reliable Native Software (Modern Application Development Workflow)

27,99 €
Comparar 2 tiendas 2 tiendas
Elección Destacada
37,12 €
Ver oferta