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

Priser från
140,58

Sponsrade länkar

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

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

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Sponsrade länkar · Vissa butiker betalar oss en ersättning

Sortera efter:

140,58 kr

140,58 kr

Beskrivning (0)

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

Produktspecifikationer

Märke Independently Published
EAN
  • 9798194379750

Independently Published

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

140,58 kr
Jämför 2 butiker 2 Butiker

Independently Published

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

354,08 kr
Jämför 2 butiker 2 Butiker

Independently Published

ENGINEERING MEASUREMENT SYSTEMS: Precision Instrumentation Calibration Methods and Performance Verification

141,22 kr
Jämför 2 butiker 2 Butiker

Betascript Publishers

Verification and Validation (software): Software Project Management, Testing, Engineering, Quality Control, Compiler Correctness, Formal

326,44 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
140,58 kr
Til butik