The construction of formal specifications: an introduction to the model-based and algebraic approaches
J. G. Turner, T. L. McCluskey
Turner,McCluskey The Construction of Formal Specifications - An Introduction to the Model-Based and Algebraic Approaches (McGraw Hill)(ISBN 0077077350)
श्रेणियाँ:
साल:
1993
प्रकाशन:
Mcgraw Hill Book Co Ltd
भाषा:
english
पृष्ठ:
472
ISBN 10:
0077077350
ISBN 13:
9780077077358
श्रृंखला:
The Mcgraw-Hill International Series in
फ़ाइल:
PDF, 2.46 MB
IPFS:
,
english, 1993