An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 135, Band 135) - Softcover

Constable, R. L.

 
9783540114925: An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 135, Band 135)

Inhaltsangabe

The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780387114927: Introduction to the Pl/Cv2 Programming Logic (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387114920 ISBN 13:  9780387114927
Verlag: Springer Verlag, 1982
Softcover