В настоящем томе ''Трудов Института системного программирования РАН'' представлены статьи, посвященные различным аспектам системного программирования: организации компиляторов и систем программирования, защите программных средств от различного рода атак, тестированию программного обеспечения на основе формальных спецификаций, автоматизации создания программного обеспечения на основе формализованных описаний аппаратуры, модельно-ориентированной разработке программных систем, интеллектуальному анализу данных

Скачать книгу бесплатно (pdf, 6.07 Mb)

---

Читать «Труды Института системного программирования РАН. Том 9. 2006 г.»