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

Priser från
140,58

Utvalda

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)

Shop
Pris
Amazon Logga
140,58 kr
Til butik
Amazon Marketplace Logga
140,58 kr
Til butik
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

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

126,78 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