Сводный каталог книг

[Текст] / Н. И. Поликарпова, А. А. Шалыто. - Санкт-Петербург [и др.] : Питер, 2009. - 176 с. : ил. - Библиогр.: с.165-173 . - Алф. указ.: с. 174-176. - Алф. указ.: с. 174-176. - ISBN 978-5-388-00692-9 : оц. ст-ть 50.00

ГРНТИ	50.05
УДК	004.42^V3

ББК З 973.2-018

Аннотация: В книге рассматривается автоматное программирование - подход к разработке программных систем со сложным поведением. основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование.

Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Шалыто, Анатолий Абрамович
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)