Нравится LibRing?
Расскажи друзьям:
Gerard J. Holzmann, Gerald J. Holzmann

The Spin Model Checker: Primer and Reference Manual

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

· OZON.ru 5772р. [Проверить наличие]
· OZON.ru 1231р. [Проверить наличие]
· SetBook 1710р. [Проверить наличие]
ISBN: 0321228626, 978-0-321-22862-8
Издательство: Addison Wesley Publishing Company