An introduction to the PL/CV2 programming logic
Author(s)
Bibliographic Information
An introduction to the PL/CV2 programming logic
（Lecture notes in computer science, 135）
Springer-Verlag, 1982
- : [gw]
Related Bibliography 1 items
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
ISBN for [us]: 0387114920
Includes bibliographical references and index
Description and Table of Contents
Table of Contents
The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.
by "Nielsen BookData"
