Proof in VDM
Subtitle: a practitioner's guide
By: by Juan C. Bicarregui ... [et al.]
Contributors: Bicarregui, Juan C. 1962-
Series: Formal approaches to computing and information technology
Publisher: Springer-Verlag
Published: 1994
Place of publication: London; New York
Language: eng
Number of pages: 362
Subjects: Computer software -- Development.; Automatic theorem proving.; System design.
Notes: Includes bibliographical references (p. [343]-345) and indexes.