Algebraic Specifications for Practical Software Production
Publisher: Kluwer Academic Publishers Group
Published: January 1, 1994
Format: Hardcover
Number of pages: 224
ISBN-13: 9780412379406