Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science, 86, Band 86) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Abstract Software Specifications: 1979 Copenhagen Winter...
Foto des Verkäufers
Abstract software specifications: 1979 Copenhagen winter school, January 22 - February 2, 1979 ; proceedings. Lecture notes in computer science ; Vol. 86
Verlag:
Berlin, Heidelberg, New York : Springer, 1980
ISBN 10: 3540100075
ISBN 13: 9783540100072
Gebraucht
Broschiert
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. Bestandsnummer des Verkäufers 2174294
Gebraucht kaufen
EUR 21,95
EUR 19,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science) 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Auflage: 1980. 588 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1787 23,5 x 15,5 x 3,4 cm, Taschenbuch. Bestandsnummer des Verkäufers 368178
Gebraucht kaufen
EUR 32,61
EUR 24,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science, 86)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540100072_new
Neu kaufen
EUR 49,58
EUR 13,87 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540100072
Neu kaufen
EUR 45,99
EUR 17,93 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Foto des Verkäufers
Abstract Software Specifications
Verlag:
Springer Berlin Heidelberg Jun 1980, 1980
ISBN 10: 3540100075
ISBN 13: 9783540100072
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 588 pp. Englisch. Bestandsnummer des Verkäufers 9783540100072
Neu kaufen
EUR 42,79
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Abstract Software Specifications
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 4880745
Neu kaufen
EUR 39,60
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Abstract Software Specifications
Verlag:
Springer, Springer Jun 1980, 1980
ISBN 10: 3540100075
ISBN 13: 9783540100072
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 588 pp. Englisch. Bestandsnummer des Verkäufers 9783540100072
Neu kaufen
EUR 42,79
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Abstract Software Specifications : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. Bestandsnummer des Verkäufers 9783540100072
Neu kaufen
EUR 42,79
EUR 64,40 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Abstract Software Specifications | 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Abstract Software Specifications | 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings | D. Bjorner | Taschenbuch | xvi | Englisch | 1980 | Springer | EAN 9783540100072 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 101943429
Neu kaufen
EUR 41,15
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar