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
- : us
Related Bibliography 1 items
Available at / 56 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||1352837474
-
University of Tsukuba Library, Library on Library and Information Science
: Germany007.08:L-49:135881003640
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies 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"
