An introduction to the PL/CV2 programming logic - Constable, R. L. (Robert L.); Johnson, Scott D.; Eichenlaub, C. D. (Berlin ; New York : Springer-Verlag, 1982)
The language -- Logical syntax -- The logic -- Proof rules -- Programming -- Rules for program statements -- Procedures -- Procedure rules -- Functions -- Function Rules.
Includes bibliographical references and index.
Electronic reproduction.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
digitized
Print version record.
Keywords: PL/CV (Computer program language); Computer programs -- Verification; Computer programming; PL/CS (Langage de programmation); Programmation (Informatique); PL/CV (Langage de programmation); Logiciels -- Vérification.; computer programming; Computer programming; Computer programs -- Verification; PL/CV (Computer program language); Logik; PL 1; Programmierung; PL/1.; Programacao De Computadores