Вы здесь
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P. 47-62
Библиография:
Bibliogr.: p.62
Место издания:
Издательство:
Том:
967
Карточка:
В2.1, Б3.51.
Luck M., D Inverno M..
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems-Berlin, Heidelberg.: Springer// ZUM 95: The Z Formal Specification Notation, 1995.-Vol. 967.-P. 47-62-(Lecture Notes in Computer Science).
Bibliogr.: p.62
Таблица в старой библиотеке:
PAP13 92