Нравится LibRing?
Расскажи друзьям:
Leslie Lamport

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

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

· OZON.ru 2533р. [Проверить наличие]
ISBN: 032114306X
Издательство: Addison-Wesley Pub Co