Format:
Online-Ressource (X, 292 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540391791
Series Statement:
Lecture notes in computer science 135
Content:
The language -- Logical syntax -- The logic -- Proof rules -- Programming -- Rules for program statements -- Procedures -- Procedure rules -- Functions -- Function Rules.
Note:
Literaturangaben
Additional Edition:
ISBN 3540114920
Additional Edition:
ISBN 0387114920
Additional Edition:
ISBN 9783540114925
Additional Edition:
Erscheint auch als Druck-Ausgabe Constable, Robert Lee An introduction to the PL/CV2 programming logic Berlin : Springer, 1982 ISBN 3540114920
Additional Edition:
ISBN 0387114920
Language:
English
Subjects:
Computer Science
Keywords:
PL 1
DOI:
10.1007/3-540-11492-0
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)