Search:
Computing and Library Services - delivering an inspiring information environment

The construction of formal specifications : an introduction to the model-based and algebraic approaches.

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

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©