Нравится LibRing?
Расскажи друзьям:
E. Sekerinski, K. Sere

Program Development by Refinement: Case Studies Using the B Method (Formal Approaches to Computing and Information Technology)

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

· OZON.ru 20597р. [Проверить наличие]
ISBN: 1852330538
Издательство: Springer-Verlag