Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

Сборник или журнал

Год:

1993

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

программа

формальный

разработка

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

Стр.:

371 p.

Редактор:

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

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

755

Карточка:

Б2.23, Б3.5, Б3.21.

Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art ReportEd. by Moller B., Partsch H., Schuman S..-Berlin, Heidelberg.: Springer, 1993.-Vol. 755.-371 p.-(Lecture Notes in Computer Science).

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

MONO1 540