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)
Softcover
ISBN 10: 3540114920 ISBN 13: 9783540114925
Verlag: Springer, 1982

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.

Verlag
Springer
Erscheinungsdatum
1982
Sprache
Englisch
ISBN 10 
3540114920
ISBN 13 
9783540114925
Einband
Taschenbuch
Anzahl der Seiten
308
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

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