Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs (Next Level Technology)

Precios a partir de
30,82

Destacado

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs (Next Level Technology)

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

Comparar tiendas web (2)

Ordenar por:

30,82 €

30,82 €

Descripción (0)

Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs (Next Level Technology)

Especificaciones del producto

Marca Independently Published
EAN
  • 9798175450287

Independently Published

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and...

12,46 €
Comparar 2 tiendas 2 tiendas

Academic Press Inc

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs

65,29 €
Más información Más info

Independently Published

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

11,61 €
Comparar 2 tiendas 2 tiendas

Cambridge University Press

Introduction to Proofs and Proof Strategies (Cambridge Mathematical Textbooks)

44,91 €
Comparar 2 tiendas 2 tiendas
Elección Destacada
30,82 €
Ver oferta