The construction of formal specifications :

Turner, John.

The construction of formal specifications : an introduction to the model-based and algebraic approaches/ J.G. Turner and T.L. McCluskey. - xi, 420 pages : illustrations; 25 cm.

includes index.

College of Engineering and Computer Studies Bachelor of Science in Civil Engineering Bachelor of Science in Computer Engineering Bachelor of Science in Computer Science Bachelor of Science in Electronics Engineering

0-07-707735-0

005.1 T85 / 1994