RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and Engineering Methods for High Confidence Systems

Precios a partir de
12,46

Enlaces patrocinados

COMPARAR TODAS LAS TIENDAS WEB (1)

Descripción

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and Engineering Methods for High Confidence Systems

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

Comparar tiendas web (1)

Enlaces patrocinados · Algunas tiendas nos pagan una remuneración

Ordenar por:

12,46 €

Descripción (0)

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and Engineering Methods for High Confidence Systems

Especificaciones del producto

Marca Independently Published
EAN
  • 9798194379750

Independently Published

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

12,46 €
Más información Más info

Independently Published

Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs...

30,82 €
Más información Más info

Independently Published

ENGINEERING MEASUREMENT SYSTEMS: Precision Instrumentation Calibration Methods and Performance Verification

12,57 €
Más información Más info

Springer Nature Switzerland AG

Leveraging Applications of Formal Methods, Verification and Validation. Methods for Distributed Computing...

43,47 €
Más información Más info
Elección Destacada
12,46 €
Ver oferta