Verwandte Artikel zu An Introduction to the PL/CV2 Programming Logic (Lecture...

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.; Johnson, S. D.; Eichenlaub, C. D.

 
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.

Von der hinteren Coverseite

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

„Über diesen Titel“ 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
324
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland