Deductive Program Design (Nato A.S.I. Series (closed) / Nato A.S.I. Subseries F: (closed)): 152

More Information

Format: Paperback
Pages: 484
Edition: Softcover reprint of the original 1st ed. 1996
Publisher: Springer
Published: 01 Jan 1996
ISBN 10: 3642648495
ISBN 13: 9783642648496