An Introduction to the PL/CV2 Programming Logic

Lecture Notes in Computer Science 135

53,49 €
(inkl. MwSt.)
In den Warenkorb

Lieferbar innerhalb 1 - 2 Wochen

Bibliografische Daten
ISBN/EAN: 9783540114925
Sprache: Englisch
Umfang: x, 314 S.
Einband: kartoniertes Buch

Beschreibung

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