З97 C 77 Cooke, John (1947-). Constructing Correct Software : монография / J. Cooke. - Second Ed. - London : Springer, 2005. - XXI, 509 p. - Библиогр.: с. 501-502. - Указ.: с. 503-509. - Прил.: с. 473-499. - ISBN 1-85233-820-2 : 361.00 р.
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ Для заказа издания воспользуйтесь услугами МБА |