A programming logic : with an introduction to the PL/CV verifier
Title:
A programming logic : with an introduction to the PL/CV verifier
Author:
Constable, R. L. (Robert L.)
Personal Author:
Publication Information:
Cambridge, Mass. : Winthrop Publishers, [1978]
©1978
Physical Description:
x, 389 pages ; 24 cm
General Note:
Includes index.
Language:
English
Added Author:
ISBN:
9780876267264
Format :
Book