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

Prezzi da
12,46

In evidenza

CONFRONTA TUTTI I WEBSHOP (2)

Descrizione

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

Description Descrizione
Product Specifications Specifiche del prodotto
Risultati correlati Risultati correlati
Next
Previous

Confronta i webshop (2)

Shop
Prezzo
Amazon Logo
12,46 €
Vai allo shop
Amazon Marketplace Logo
12,46 €
Vai allo shop
Descrizione (0)

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

Specifiche del prodotto

Marchio Independently Published
EAN
  • 9798194379750

Independently Published

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

12,46 €
Confronta 2 negozi 2 negozi

Independently Published

ENGINEERING MEASUREMENT SYSTEMS: Precision Instrumentation Calibration Methods and Performance Verification

12,57 €
Confronta 2 negozi 2 negozi

Independently Published

FORMAL SPECIFICATION and Systems ENGINEERING: Requirements Modeling Behavioral Verification Architecture Analysis Engineering of Dependable

12,46 €
Confronta 2 negozi 2 negozi

Springer

High-Level Verification: Methods and Tools for Verification of System-Level Designs (English Edition)

84,23 €
Confronta 2 negozi 2 negozi
Scelta in evidenza
12,46 €
Vai allo shop