Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
  • #

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

53.49 EUR

Teilen:
Gesponsert

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Medimops DE
53.49 EUR
19-06-2026 20:09:21
Gesponsert

Verification of Reactive Systems

SpringerLink DE
53.49 EUR
19-06-2026 18:53:08

Ähnliche Produkte

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Notes in Computer Science

106.99 EUR
Formal System Verification: State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends

128.39 EUR
Leveraging Applications of Formal Methods Verification and Validation

Leveraging Applications of Formal Methods Verification and Validation

160.49 EUR
The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus of Computation: Decision Procedures with Applications to Verification

53.49 EUR
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803)

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803)

53.49 EUR
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... Notes in Computer Science, Band 8802)

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... Notes in Computer Science, Band 8802)

53.49 EUR