Compositional Verification of Concurrent and Real-Time Systems (Kluwer International Series in Engineering and Computer Science, 676) - 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)

Автор: Eric Y. T. Juan, Jeffrey J. P. Tsai, ISBN: 140207025X

Под заказ:
	OZON.ru - 4105 руб.	Перейти

Рейтинг книги:

5 из 5, 8 голос(-ов).

290 руб.	31 руб.
70 руб.	229 руб.