Umfang:
Online-Ressource (X, 292 S.)
Ausgabe:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540391791
Serie:
Lecture notes in computer science 135
Inhalt:
The language -- Logical syntax -- The logic -- Proof rules -- Programming -- Rules for program statements -- Procedures -- Procedure rules -- Functions -- Function Rules.
Anmerkung:
Literaturangaben
Weitere Ausg.:
ISBN 3540114920
Weitere Ausg.:
ISBN 0387114920
Weitere Ausg.:
ISBN 9783540114925
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Constable, Robert Lee An introduction to the PL/CV2 programming logic Berlin : Springer, 1982 ISBN 3540114920
Weitere Ausg.:
ISBN 0387114920
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
PL 1
DOI:
10.1007/3-540-11492-0
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink