Structuring specification in Z to build a unifying framework for hypertext systems
Tools
Tools
Tools
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]
|
Text (Structuring specification in Z to build a unifying framework for hypertext systems)
Structuring specification in Z to build a unifying framework for hypertext systems.pdf Download (209kB) | Preview |
|
Item Type: |
Book Section |
||||
| Identification Number (DOI): |
|||||
| Departments, Centres and Research Units: |
|||||
| Dates: |
|
||||
| Item ID: |
8779 |
||||
| Date Deposited: |
19 Sep 2013 14:46 |
||||
| Last Modified: |
29 Apr 2020 15:57 |
||||
|
URI: |
View statistics for this item...
 |
Edit Record (login required) |