Proof in VDM a practitioner's guide

Proof in VDM a practitioner's guide

Saved in:
Bibliographic Details
Other Authors: Bicarregui, Juan C 1962 Juan Carlos
Format: Unknown
Published: London New York Springer-Verlag 1994
Series:Formal approaches to computing and information technology
Subjects:
System design
Computer software > Development
Automatic theorem proving
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xvi, 362 p. ill. 24 cm
Bibliography:Includes bibliographical references (p. [343]-345
ISBN:354019813X

Similar Items