Proving properties of processes | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Mazurkiewicz A.

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

1

Колл. автор:

Inst.Computer Science

Вид:

Препринт

Год:

1973

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

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

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

вычислительный

Стр.:

26 p.

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

Bibliogr.: p.20.

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

Номер:

134

Карточка:

Б2.42.

Mazurkiewicz A..

Proving properties of processes-Warsaw., 1973.-26 p.-(Препринт Inst.Computer Science №134).
Bibliogr.: p.20.

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

PREP1 734