Вы здесь

D Inverno M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Formal Architecture for the 3APL Agent Programming Language 2000 D Inverno M., Hindriks K., Luck M. Lecture Notes in Computer Science 21.10.2000
СТ A Z Specification of the Soft-Link Hypertext Model 1997 D Inverno M., Hu M. Lecture Notes in Computer Science 15.04.1997
СТ Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems 1995 D Inverno M., Priestly M. Lecture Notes in Computer Science ZUM 95: The Z Formal Specification Notation 29.09.1995
СТ Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems 1995 Luck M., D Inverno M. Lecture Notes in Computer Science ZUM 95: The Z Formal Specification Notation 29.09.1995