A programming approach to formal methods /

Main Author: Casey, Chris
Format: Book
Language:English
Published: London ; New York : McGraw-Hill Book Co., c1994.
Subjects:
Physical Description:xii, 262 p. : ill. ; 25 cm.
Bibliography:Includes bibliographical references (p. 257) and index.
ISBN:007707968X