Compositional Verification of Concurrent and Real-Time Systems | DealShopping Deutschland
  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
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 Stability Verification of Hybrid Systems

Compositional Stability Verification of Hybrid Systems

45.80 EUR
Concurrency Verification: Introduction to Compositional and Noncompositional Methods

Concurrency Verification: Introduction to Compositional and Noncompositional Methods

106.40 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