Specification and validation methods
By: edited by Egon Börger.
Contributors: Börger, E. 1946-
Series: International schools for computer scientists; Oxford science publications
Publisher: Clarendon; Oxford University Press
Published: 1995
Place of publication: Oxford; New York
Language: eng
Number of pages: 460
Subjects: Programming languages (Electronic computers)
Notes: Includes bibliographical references.