Вы здесь
Logics of Programs
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1994
Стр.:
P.789-840.
Библиография:
Bibliogr.: p.834-840
Место издания:
Издательство:
Карточка:
Б2.14.
Kozen D., Tiuryn J..
Logics of Programs-Cambridge.: The MIT Press// Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B, 1994.-P.789-840.
Bibliogr.: p.834-840
Таблица в старой библиотеке:
PAP17 358