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

Saved in:

Bibliographic Details
Main Author:	Constable, R. L. Robert L
Other Authors:	O'Donnell, Michael J. 1952-, Johnson, Scott D
Format:	Book
Published:	Cambridge, Mass. Winthrop Publishers 1978
Subjects:	Logic, Symbolic and mathematical PL/CV (Computer program language) Computer programs > Testing
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet