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

Information
Library
Statistics

[+][-]

Information

URI:

https://eprints.hud.ac.uk/id/eprint/7972

Title:

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

Creators:

Turner, John G and McCluskey, T.L.

Date:

1994

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

Library

Item Type:

Book

Depositing User:

Sharon Beastall

Date Deposited:

01 Jul 2010 09:00

Revision:

Last Modified:

28 Aug 2021 10:57

Statistics

: View Item (login required)

CORE (COnnecting REpositories)

Tools