Formal Documentation Using Z (Chapman & Hall Computer Science: Research & Practice Series)
Publisher: International Thomson Computer Press
Published: June 1, 1995
Format: Hardcover
Number of pages: 288
ISBN-13: 9780412618703
Subjects: Software engineering