libcats.org
Главная

Автоматное программирование: Монография

Обложка книги Автоматное программирование: Монография

Автоматное программирование: Монография

,
В книге рассматривается автоматное программирование - подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование. Книга предназначена для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также аспирантов и студентов, обучающихся по специальностям ''Прикладная математика и информатика'', ''Управление и информатика в технических системах'' и ''Вычислительные машины, системы, комплексы и сети''. Электронная версия книги (в авторской редакции) размещена на сайте кафедры ''Технологии программирования'' СПбГУ ИТМО (http://is.ifmo.ru)
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Handbook of Antennas in Wireless Communications

Автор: , Автор:
Размер книги: 37.19 Mb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

The Shadow 114 - The Strange Disappearance of Joe Cardona

Автор:
Размер книги: 236 Kb

Персона жрата-06

Автор:
Размер книги: 86 Kb

Active Portfolio Management

Автор:
Категория: Finance
Размер книги: 34.24 Mb

Underground

Автор: , Автор: , Автор:
Категория: fiction
Размер книги: 777 Kb