Нравится LibRing?
Расскажи друзьям:
Eric Y. T. Juan, Jeffrey J. P. Tsai

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

Книгу можно купить в интернет-магазинах:

· OZON.ru 4105р. [Проверить наличие]
ISBN: 140207025X
Издательство: Kluwer Academic Publishers