1. Home
  2. Compositional Verification of Concurrent and Real-Time Systems
  • #

Compositional Verification of Concurrent and Real-Time Systems

85.59 EUR

Teilen:
Gesponsert

Compositional Verification of Concurrent and Real-Time Systems

SpringerLink DE
85.59 EUR
22-07-2025 17:14:02

Ähnliche Produkte

Tsai, Jeffrey J. P.: Compositional Verification of Concurrent and Real-Time Systems

Tsai, Jeffrey J. P.: Compositional Verification of Concurrent and Real-Time Systems

106.99 EUR
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science, 676, Band 676)

Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science, 676, Band 676)

104.34 EUR
Compositional Stability Verification of Hybrid Systems

Compositional Stability Verification of Hybrid Systems

45.80 EUR
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558, Band 558)

Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558, Band 558)

53.49 EUR
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

273.80 EUR
Concurrency Verification: Introduction to Compositional and Noncompositional Methods

Concurrency Verification: Introduction to Compositional and Noncompositional Methods

101.80 EUR