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

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

57

Bibliographic Details
Main Authors: 422720 Constable, Robert L., O'Donnell, Michael J.
Format:
Published: Cambridge, Mass. : Winthrop, 1978
Subjects:
PL/CV (Computer program language)
Computer programs
Logic, Symbolic and mathematical

Similar Items