Вид документа : Однотомное издание Шифр издания : 649.7/G 58 Автор(ы) : Goguen, Joseph A., Malcolm, Grant Заглавие : Algebraic Semantics of Imperative Programs Выходные данные : Cambridge [et al.]: The MIT Press, 1996 Колич.характеристики :228 c. Серия: Foundations of Computing Примечания : Библиогр.: с. 222-225. - Указ.: с. 227-228 ISBN, Цена 0-262-07172-X: 966.11 р. ББК : 649.732-018.12 + 519.3 Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ МАТЕМАТИКА-- ТЕОРИЯ ИГР Экземпляры :кх(1) Свободны : кх(1) Доп.точки доступа: Malcolm, Grant