A programming approach to formal methods /
Casey, Chris.
A programming approach to formal methods / Chris Casey. - London ; New York : McGraw-Hill Book Co., 1994 - xii, 262 p. : ill. ; 25 cm. - The McGraw-Hill international series in software engineering .
Includes bibliographical references (p. 257) and index.
007707968X : £16.95
94020022
Computer programming.
Formal methods (Computer science)
QA76.6 / .C383 1994
005.1015113
A programming approach to formal methods / Chris Casey. - London ; New York : McGraw-Hill Book Co., 1994 - xii, 262 p. : ill. ; 25 cm. - The McGraw-Hill international series in software engineering .
Includes bibliographical references (p. 257) and index.
007707968X : £16.95
94020022
Computer programming.
Formal methods (Computer science)
QA76.6 / .C383 1994
005.1015113