Tsai, Jeffrey J. P.: Compositional Verification of Concurrent and Real-Time | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. 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

Teilen:

Ähnliche Produkte

Networks of Dissipative Systems: Compositional Certification of Stability, Performance, and Safety

Networks of Dissipative Systems: Compositional Certification of Stability, Performance, and Safety

53.04 EUR
Geostatistics for Compositional Data with R (Use R!)

Geostatistics for Compositional Data with R (Use R!)

112.40 EUR
Geostatistics for Compositional Data with R (Use R!)

Geostatistics for Compositional Data with R (Use R!)

106.98 EUR
Presupposition and Implicature in Compositional Semantics

Presupposition and Implicature in Compositional Semantics

106.99 EUR
The Akathistos Hymnos and Intermedial Compositional Processes in Later Byzantium

The Akathistos Hymnos and Intermedial Compositional Processes in Later Byzantium

139.09 EUR
Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time Systems

85.59 EUR