Вы здесь

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