Description: Teaching and learning formal methods /

Other Authors:	Dean, Neville C., Hinchey, Michael G.
Format:	Book
Language:	English
Published:	London : Academic Press, 1996.
Subjects:	Computer science > Study and teaching. Electronic data processing > Study and teaching

Physical Description:	xvi, 285 p. : ill. ; 23 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	0123490405