Service Specification Using Z
Service Specification Using Z
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Airchinnigh, Micheal Mac an
b27b8ceb-22a0-49c1-a71a-9c44833de58a
1993
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Airchinnigh, Micheal Mac an
b27b8ceb-22a0-49c1-a71a-9c44833de58a
Butler, Michael and Airchinnigh, Micheal Mac an
(1993)
Service Specification Using Z
Record type:
Monograph
(Project Report)
Text
a222br02.pdf
- Other
More information
Published date: 1993
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 253693
URI: http://eprints.soton.ac.uk/id/eprint/253693
PURE UUID: de5caf17-7f3b-4ff7-a991-1c6ffec63fc9
Catalogue record
Date deposited: 17 Jul 2000
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Michael Butler
Author:
Micheal Mac an Airchinnigh
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics