Deutsch, M and Henson, M and Reeves, S (2003) CSM-379a Results on Formal Stepwise Design in Z. UNSPECIFIED. CSM-379a, University of Essex, Colchester.
Deutsch, M and Henson, M and Reeves, S (2003) CSM-379a Results on Formal Stepwise Design in Z. UNSPECIFIED. CSM-379a, University of Essex, Colchester.
Deutsch, M and Henson, M and Reeves, S (2003) CSM-379a Results on Formal Stepwise Design in Z. UNSPECIFIED. CSM-379a, University of Essex, Colchester.
Abstract
| Item Type: | Monograph (UNSPECIFIED) |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Faculty of Science and Health Faculty of Science and Health > Computer Science and Electronic Engineering, School of |
| SWORD Depositor: | Unnamed user with email elements@essex.ac.uk |
| Depositing User: | Unnamed user with email elements@essex.ac.uk |
| Date Deposited: | 11 Aug 2015 10:48 |
| Last Modified: | 15 Jan 2022 01:07 |
| URI: | http://repository.essex.ac.uk/id/eprint/14451 |
Available files
Filename: csm379a.PDF
Statistics
Downloads
downloads and
page views since this item was published