Tools
Tools
Turner, John G and McCluskey, T.L. (1994) The construction of formal specifications : an introduction to the model-based and algebraic approaches. McGraw-Hill. ISBN 9780077077358
Metadata only available from this repository.| Item Type: | Book |
|---|---|
| Subjects: | Q Science > Q Science (General) Q Science > QA Mathematics |
| Schools: | School of Computing and Engineering School of Computing and Engineering > Pedagogical Research Group School of Computing and Engineering > Informatics Research Group School of Computing and Engineering > Informatics Research Group > Knowledge Engineering and Intelligent Interfaces |
| Related URLs: | |
| Depositing User: | Sharon Beastall |
| Date Deposited: | 01 Jul 2010 10:00 |
| Last Modified: | 16 Dec 2010 13:51 |
| URI: | http://eprints.hud.ac.uk/id/eprint/7972 |
Item control for Repository Staff only:
| View Item |