1. Home
  2. Medien
  3. Bücher
  4. 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)

106.99 EUR 104.34 EUR 2% Off

Teilen:

Ä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 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
Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time Systems

85.59 EUR
Concurrency Verification: Introduction to Compositional and Noncompositional Methods

Concurrency Verification: Introduction to Compositional and Noncompositional Methods

101.80 EUR

Compositional Strategies in Electroacoustic Music

59.00 EUR
Nasty Noises

Nasty Noises

49.00 EUR