TY  - BOOK
AU  - Constable,R.L.
AU  - Johnson,Scott D.
AU  - Eichenlaub,C.D.
TI  - An introduction to the PL/CV2 programming logic
T2  - Lecture notes in computer science
SN  - 9783540391791
AV  - QA76.73.P252 C65 1982
U1  - 001.64/24 19
PY  - 1982///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - PL/CV (Computer program language)
KW  - Computer programs
KW  - Verification
KW  - Computer programming
KW  - PL/CS (Langage de programmation)
KW  - Programmation (Informatique)
KW  - PL/CV (Langage de programmation)
KW  - Logiciels
KW  - Vérification
KW  - computer programming
KW  - aat
KW  - fast
KW  - Logik
KW  - gnd
KW  - PL 1
KW  - Programmierung
KW  - PL/1
KW  - gtt
KW  - Programacao De Computadores
KW  - larpcal
N1  - Includes bibliographical references and index; The language -- Logical syntax -- The logic -- Proof rules -- Programming -- Rules for program statements -- Procedures -- Procedure rules -- Functions -- Function Rules; Electronic reproduction; [Place of publication not identified]; HathiTrust Digital Library; 2010
UR  - https://link.springer.com/10.1007/3-540-11492-0
ER  -