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