Formal Method Theory/practice
Publisher: HarperCollins
Published: December 31, 1988
Format: Hardcover
ISBN-13: 9780003833461