Program Specification by Typed Gurevich Machines | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Статья из сборника или журнала

Год:

1998

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

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

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

Стр.:

P.162-173.

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

Bibliogr.: p.172-173

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

Источник:

Proc. of the Estonian Academy of Sciences. Physics, Mathematics

Номер:

3

Том:

47

Карточка:

Б2.2, Б2.15.

Zamulin A. V..

Program Specification by Typed Gurevich Machines-Tallinn.// Proc. of the Estonian Academy of Sciences. Physics, Mathematics, 1998, №3.-Vol. 47.-P.162-173.
Bibliogr.: p.172-173

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

ISI2 209