1. Home
  2. Medien
  3. Bücher
  4. Static Analysis and Verification of Aerospace Software by Abstract Interpretation
  • #

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

109.49 EUR

Teilen:

Ähnliche Produkte

Surface Analysis of Polymers by XPS and Static SIMS

Surface Analysis of Polymers by XPS and Static SIMS

135.49 EUR
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis

Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis

48.00 EUR
Improving Performance and Reducing Power with Hardware Acceleration

Improving Performance and Reducing Power with Hardware Acceleration

49.00 EUR
Static and Dynamic Analysis of Structures: with An Emphasis on Mechanics and Computer Matrix Methods

Static and Dynamic Analysis of Structures: with An Emphasis on Mechanics and Computer Matrix Methods

213.99 EUR
Nonlinear Power Flow Control Design: Utilizing Exergy, Entropy, Static and Dynamic Stability, and Lyapunov Analysis

Nonlinear Power Flow Control Design: Utilizing Exergy, Entropy, Static and Dynamic Stability, and Lyapunov Analysis

160.49 EUR
Nonlinear Static Analysis for Seismic Assessment of RC Structures

Nonlinear Static Analysis for Seismic Assessment of RC Structures

71.90 EUR