Ebók

Formal Verification of Control System Software

Pierre-Loïc Garoche

Princeton University Press

Prísur

529,95 kr.

Vørulýsing av

Formal Verification of Control System Software

Finn líknandi bøkur her

Formal Verification of Circuits

Rolf Drechsler

1.049,95 kr.

Formal Verification of Object-Oriented Software

Bernhard Beckert; Ferruccio Damiani; Dilian Gurov

339,95 kr.

Polynomial Formal Verification of Approximate Functions

Martha Schnieber

749,95 kr.

Handbook of Formal Analysis and Verification in Cryptography

619,95 kr.

Formal Modeling and Verification of Cyber-Physical Systems

224,95 kr.

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Author

374,95 kr.

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

iziana Margaria; Bernhard Steffen

374,95 kr.

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Tiziana Margaria; Bernhard Steffen

374,95 kr.

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Tiziana Margaria; Bernhard Steffen

639,95 kr.

Critical Systems: Formal Methods and Automated Verification

374,95 kr.

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

639,95 kr.

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

529,95 kr.