Обложка книги Compositional Verification of Concurrent and Real-Time Systems (Kluwer International Series in Engineering and Computer Science, 676)

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

,

ISBN: 140207025X;
Издательство: Kluwer Academic Publishers