On the formalization of programming languages: Early history and main approaches.- Programming in the meta-language: A tutorial.- The meta-language: A reference manual.- Denotational semantics of goto: An exit formulation and its relation to continuations.- A formal definition of ALGOL 60 as described in the 1975 modified report.- Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition.- References & bibliography.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Artikel-Nr. 1822918-6
Anzahl: 1 verfügbar
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: Bon. Légères traces d'usure sur la couverture. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Slight signs of wear on the cover. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. D-569-087
Anzahl: 1 verfügbar
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Taschenbuch. Zustand: Gut. 404 Seiten Sofort verfügbar Versand sofort nach durchgeführter Zahlungsverifikation Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sofort verfügbar Versand sofort nach durchgeführter Zahlungsverifikation Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550. Artikel-Nr. 181767
Anzahl: 1 verfügbar
Anbieter: COTTAGE Antiquariat - anbu.at, Langenzersdorf, Österreich
Gr.-8°, Original-Broschur. XV, 382 S. ; 25 cm Etwas leseschief, an Ecken und Kanten bestossen, am Fußschnitt Stoßspur mit Farbabrieb, Schnitte etwas unfrisch. Innen papierbedingt gegilbt, sonst sauber. Solides, textsauberes und gut brauchbares Exemplar. Etwas (keller)-muffig. - In englischer Sprache. IS: 3540087664 ****An unsere Kunden in Deutschland: Versand nach Deutschland einmal in der Woche ab Freilassing mit der Deutschen Post.*** - Sprache: Englisch Gewicht in Gramm: 650. Artikel-Nr. 6843
Anzahl: 1 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Artikel-Nr. ria9783540087663_new
Anzahl: Mehr als 20 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - On the formalization of programming languages: Early history and main approaches.- Programming in the meta-language: A tutorial.- The meta-language: A reference manual.- Denotational semantics of goto: An exit formulation and its relation to continuations.- A formal definition of ALGOL 60 as described in the 1975 modified report.- Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition.- References & bibliography. Artikel-Nr. 9783540087663
Anzahl: 1 verfügbar
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. The Vienna Development Method: The Meta-Language | D. Bjorner (u. a.) | Taschenbuch | xx | Englisch | 1978 | Springer | EAN 9783540087663 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Artikel-Nr. 101944752
Anzahl: 5 verfügbar