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