Моделирование, спецификация и верификация "автоматных" программ | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Кузьмин Е. В.

Соколов В. А.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2008

Ключевые слова:

моделирование

спецификация

верификация

программа

автоматный

Стр.:

С.38-60

Библиография:

Библиогр.: c.60

Источник:

Программирование

Номер:

1

Карточка:

Б4.5.

Кузьмин Е. В., Соколов В. А..

Моделирование, спецификация и верификация "автоматных" программ// Программирование-2008, №1.-С.38-60
Библиогр.: c.60

Таблица в старой библиотеке:

PAP31 169