An Introduction to the PL/CV2 Programming Logic

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

Lecture Notes in Computer Science 135

ISBN: 3540114920
ISBN 13: 9783540114925
Autor: Constable, R L/Johnson, S D/Eichenlaub, C D
Verlag: Springer Verlag GmbH
Umfang: x, 314 S.
Erscheinungsdatum: 01.04.1982
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1483640 Kategorie:

Beschreibung

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

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …