The Construction of Formal Specifications: An Introduction to the Model-Based and Algebraic Approaches (The McGraw-Hill International Series in)

International

by: J. G. Turner · T. L. McCluskey

Paperback

details (USA).

ISBN: 978-0-07-707735-8

ISBN-10: 0-07-707735-0

McGraw-Hill Book Co Ltd · 1993