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 > High-Performance Intelligent Computing School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge |
| Related URLs: | |
| Depositing User: | Sharon Beastall |
| Date Deposited: | 01 Jul 2010 09:00 |
| Last Modified: | 16 Dec 2010 13:51 |
| URI: | http://eprints.hud.ac.uk/id/eprint/7972 |
Downloads
Downloads per month over past year
Repository Staff Only: item control page
 |
View Item |