1. Home
  2. Medien
  3. Bücher
  4. Formal Verification of Concurrent Embedded Software (Kiel Computer Science Series)
  • #
  • #

Formal Verification of Concurrent Embedded Software (Kiel Computer Science Series)

15.99 EUR

Teilen:

Ähnliche Produkte

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

109.98 EUR
Formal Modeling and Verification of Cyber-Physical Systems

Formal Modeling and Verification of Cyber-Physical Systems

53.49 EUR
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

104.95 EUR
Formal Verification of Floating-Point Hardware Design

Formal Verification of Floating-Point Hardware Design

71.68 EUR
Naseem, Syed Atif: Formal Verification Of FDIR in Smart Grid

Naseem, Syed Atif: Formal Verification Of FDIR in Smart Grid

55.90 EUR
Formal Verification of Simulink/Stateflow Diagrams

Formal Verification of Simulink/Stateflow Diagrams

96.29 EUR
Formal Verification of Floating-Point Hardware Design

Formal Verification of Floating-Point Hardware Design

93.08 EUR
Advanced Automation in Formal Verification of Processors

Advanced Automation in Formal Verification of Processors

48.80 EUR