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

Вы здесь

Автор:

Замулин А. В.

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

1

Колл. автор:

Вид:

Монография

Год:

1999

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

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

программа

формальный

Стр.:

81 с.

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

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

Место издания:

Новосибирск

Источник:

Учебное пособие

Карточка:

Б3.5.

Замулин А. В..

Формальные методы спецификации программ-Новосибирск., 1999.-81 с.
Библиогр.: c.81

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

MONO3 381