An edition of An introduction to the PL/CV2 programming logic (1982)
By R. L. Constable
Publish Date
1982
Publisher
Springer-Verlag
Language
eng
Pages
292
Description:
subjects: Computer programs, PL/CV (Computer program language), Verification, PL/1, PL 1, Programmation (Informatique), PL/CV (Langage de programmation), Programmierung, PL/CS (Langage de programmation), Programacao De Computadores, Logik