Mathematical methods in proving properties of programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Helsinki Univ. Technology

Вид:

Препринт

Год:

1977

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

программа

свойство

доказательство

алгебраический

семантика

Стр.:

28 p.

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

Bibliogr.: p.27-28

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

Номер:

4

Карточка:

Б2.23, Б2.24.

Husberg N..

Mathematical methods in proving properties of programs-Helsinki., 1977.-28 p.-(Препринт Helsinki Univ. Technology №4).
Bibliogr.: p.27-28

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

PREP2 352