An introduction to the PL/CV2 programming logic
著者
書誌事項
An introduction to the PL/CV2 programming logic
(Lecture notes in computer science, 135)
Springer-Verlag, 1982
- : [gw]
並立書誌 全1件
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
ISBN for [us]: 0387114920
Includes bibliographical references and index
内容説明・目次
目次
The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.
「Nielsen BookData」 より