Verkauf durch Sack Fachmedien

Constable / Johnson / Eichenlaub

An Introduction to the PL/CV2 Programming Logic

Medium: Buch
ISBN: 978-3-540-11492-5
Verlag: Springer
Erscheinungstermin: 01.04.1982
Lieferfrist: bis zu 10 Tage

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


Produkteigenschaften


  • Artikelnummer: 9783540114925
  • Medium: Buch
  • ISBN: 978-3-540-11492-5
  • Verlag: Springer
  • Erscheinungstermin: 01.04.1982
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 1982
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert, Paperback
  • Gewicht: 470 g
  • Seiten: 314
  • Format (B x H x T): 155 x 235 x 17 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Autoren

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