Formal Methods
Subtitle: Theory and Practice
Publisher: Science and Behavior Books
Published: March 1989
Format: Hardcover
ISBN-13: 9780849371400
Subjects: Systems Analysis (Computer Science); Computer Books: Operating Systems