Gesamtpreis (1 Artikel Artikel):
Versandziel:
9783540100072 - Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science, 86, Band 86) von Bjo... (6 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (6)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (4)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Gut oder Befriedigend (2)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (6)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (5)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45
- Mehr als EUR 45
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Abstract software specifications: 1979 Copenhagen winter school, January 22 - February 2, 1979 ; proceedings. Lecture notes in computer science ; Vol. 86
Sprache: Englisch
Verlag: Berlin, Heidelberg, New York : Springer, 1980
ISBN 10: 3540100075 ISBN 13: 9783540100072
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.
-
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.
-
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
EUR 49,09
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Abstract Software Specifications
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1980
ISBN 10: 3540100075 ISBN 13: 9783540100072
EUR 39,60
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
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.
-
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.
