Вид документа : Однотомное издание Шифр издания : Pr869/Pr869/755 Заглавие : Formal programm development : IFIP TC 2/WG 2.1 State-of-the-art rep. Выходные данные : Berlin: Springer, 1993 Колич.характеристики :370 p.: Ill. Серия: Lecture notes in computer science; 755 Примечания : Bibliogr. at the end of the art ISBN, Цена 3-540-57499-9: Б.ц. ГРНТИ : 50.05.03 ББК : З 973.2-018я43 Предметные рубрики: Программное обеспечение-- ЭВМ Дескрипторы: сб пр Ключевые слова (''Своб.индексиров.''): преобразование программ--динамическое программирование Экземпляры :02(1) Свободны : 02(1)