Cover is for reference only

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

Saved in:
Bibliographic Details
Main Authors: Constable R. L. (Robert L.) (Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. Johnson.)
Group Author: O'Donnell Michael J., 1952- (joint author.); Johnson Scott D.
Published: Winthrop Publishers,
Publisher Address: Cambridge, Mass.
Publication Dates: c1978.
Literature type: Book
Language: English
Subjects:
PL/CV (Computer program language)
Computer programs > Testing.
Logic, Symbolic and mathematical.
Carrier Form: x, 389 p.: ; 24 cm.
ISBN: 0876267266
Index Number: TP31
CLC: TP31
Call Number: TP31/C756/
Contents: Includes index.
Bibliography: p. 370-381.

Related Book Recommendations