Menu

Items Authored/Edited by Bowen, Jonathan P.

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Date | No Grouping
Jump to: Book Section
Number of items: 2.

Book Section

[img]
Preview
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]

[img]
Preview
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]

This list was generated on Sun Dec 22 03:39:36 2024 GMT.