Вы здесь
A Formal Semantics for a Language with Type Extension
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.299-314
Библиография:
Bibliogr.: p.314
Место издания:
Том:
967
Карточка:
Б2.24.
Bancroft P., Hayes I..
A Formal Semantics for a Language with Type Extension-Berlin, Heidelberg.// ZUM 95: The Z Formal Specification Notation, 1995.-Vol. 967.-P.299-314-(Lecture Notes in Computer Science).
Bibliogr.: p.314
Таблица в старой библиотеке:
PAP13 106