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: | 28 Aug 2021 10:57 |
URI: | http://eprints.hud.ac.uk/id/eprint/7972 |
Downloads
Downloads per month over past year
Repository Staff Only: item control page
![]() |
View Item |