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
- : us
並立書誌 全1件
大学図書館所蔵 件 / 全57件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographies and index
内容説明・目次
目次
The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.
「Nielsen BookData」 より