Items of Type Book Section
Up a level |
Number of items: 21.
B
C
D
d'Inverno, Mark and Priestley, Mark.
1995.
Structuring specification in Z to build a unifying framework for hypertext systems.
In: Jonathan P. Bowen and Michael G. Hinchey, eds.
ZUM '95: The Z Formal Specification Notation.
967
Berlin, Germany: Springer, pp. 83-102.
ISBN 9783540602712
[Book Section]
H
J
L
Luck, Michael and d'Inverno, Mark.
1995.
A Formal Framework for Agency and Autonomy.
In: Victor Lesser, ed.
ICMAS-95 : proceedings First International Conference on Multi-Agent Systems.
Cambridge, MA: MIT Press, pp. 254-260.
ISBN 0262621029
[Book Section]
Luck, Michael and d'Inverno, Mark.
1995.
Structuring a Z specification to provide a formal framework for autonomous agent systems.
In: Jonathan P. Bowen and Michael G. Hinchey, eds.
ZUM '95: The Z Formal Specification Notation.
967
Berlin, Germany: Springer, pp. 46-62.
ISBN 9783540602712
[Book Section]
N
P
S