catalog / TECHNICAL SCIENCES / Mathematical and software of computer systems, complexes and computer networks
скачать файл: 
- title:
- Сулимов, Александр Александрович. Функциональные средства спецификации трансляторов и их применение в проблемно-ориентированной системе верификации программ
- The year of defence:
- 1991
- brief description:
- Сулимов, Александр Александрович. Функциональные средства спецификации трансляторов и их применение в проблемно-ориентированной системе верификации программ : автореферат дис. ... кандидата физико-математических наук : 05.13.11.- Новосибирск, 1991.- 16 с.: ил.
- Стоимость доставки:
- 230.00 руб