A programming logic : with an introduction to the PL/CV verifier /

Bibliographic Details
Main Author:	Constable, R. L. (Robert L.)
Other Authors:	O'Donnell, Michael, 1952-
Format:	Book
Language:	English
Published:	Cambridge, Mass. : Winthrop Publishers, [1978]
Subjects:	PL/CV (Computer program language) Computer programs > Testing. Logic, Symbolic and mathematical.

Remote Storage