D bjorner (16 Ergebnisse)

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.

Broschiert. Zustand: Gut. XI, 566 S. : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 960.…

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.…

Softcover. Zustand: ex library-very good. Lecture Notes in Computer Science 86. 566 p. 24 cm. Ex library with labels on spine and last page, ink stamps on top edge and title. Pages browning a little.

Zustand: New. In English.

Zustand: New. In English.

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.…

Zustand: New. 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.-.

paperback. Zustand: Gut. 404 Seiten; 9783540087663.3 Gewicht in Gramm: 1.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Abstract Architecture.- Foundations of denotational semantics.- Models of programming language concepts.- Formalization of data base models.- Experiments in block-structured GOTO language modeling: - EXITs versus continuations.- An introduction to data algebras.- Time sequences as a tool for describing program behaviour.- The semantics of clear, a specification language.- An example of hierarchical program specification.- Modular program construction using abstractions.- On the structure of application programs.- Abstract objects as abstract data types.- Design and analysis of highly parallel and distributed systems.- On the semantics of fair parallelism.- Dijkstra's predicate transformers and smyth's powerdomains.- Banquet talk.…

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. …

Hardcover. Zustand: Brand New. 1st edition. 749 pages. 9.50x6.50x1.25 inches. In Stock.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The DDC Ada compiler development method.- A denotational (static) semantics method for defining Ada context conditions.- A formal semantics definition of sequential Ada.- Parallelism in Ada.- The design of a virtual machine for Ada.…

Springer 1987 sewed, 422 pp. Lecture notes in computer Science nr 252 ISBN (3540176543) (code Sc-174).