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

Allgemein

Marke
Juan, Eric Y.T.
ISBN
Juan, Eric Y.T. 140207025X

Eigenschaften

Menü