Description: Proof in VDM :

Other Authors:	Bicarregui, Juan C.
Format:	Book
Language:	English
Published:	London ; New York : Springer-Verlag, c1994.
Subjects:	Computer software > Development Automatic theorem proving

Physical Description:	xvi, 362 p. : ill. ; 24 cm.
Bibliography:	Includes bibliographical references (p. [343]-345) and indexes.
ISBN:	038719813X