A Programming approach to formal methods

Main Author: Casey, Chris.
Published: England, London: McGraw-Hill Book Co, c1994..

Library Level 6

Call Number: 005 3 CAS
Accession Item Category Format Status Notes
1000013128 Yellow Spot Book AVAILABLE