Вы здесь
Toward Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1992
Ключевые слова:
Стр.:
P.656-671.
Библиография:
Bibliogr.: p.670-671.
Издательство:
Источник:
Том:
623
Карточка:
Б2.24, Б3.21.
Sannela D., Tarlecki A..
Toward Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations: Springer// Lecture Notes in Computer Science-1992.-Vol. 623.-P.656-671.
Bibliogr.: p.670-671.
Таблица в старой библиотеке:
PAP3 951