Views of Formal Program Development | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Монография

Год:

1992

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

программа

формальный

разработка

корректность

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

преобразование

Стр.:

133 p.

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

Bibliogr.: p.121-127

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

Карточка:

Б2.23, Б3.21, Б3.5.

Boiten E..

Views of Formal Program Development-Nijmegen., 1992.-133 p.
Bibliogr.: p.121-127

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

MONO1 442