Anbieter: Powell's Bookstores Chicago, ABAA, Chicago, IL, USA
Zustand: Used - Very Good. 1979. Paperback. Some shelf-wear. Very Good.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 18,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Zustand: New. pp. 148.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 15,14
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 12,93
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Verlag: Springer Berlin 1979, 1979
Anbieter: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Deutschland
Format groß 8°, broschiert, größerer weißer Fleck auf dem Einband v133 Seiten, on entfernter Rückensignatur, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen. Shipping to abroad insured with tracking number.
Verlag: Springer Berlin Heidelberg, 1979
ISBN 10: 3540092374 ISBN 13: 9783540092377
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - I: Binary-relation semantics.- II: Computation-tree semantics.
Taschenbuch. Zustand: Neu. First-Order Dynamic Logic | D. Harel | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1979 | Springer-Verlag GmbH | EAN 9783540092377 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 17,04
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 148 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 148.
Verlag: Springer Berlin Heidelberg, 1979
ISBN 10: 3540092374 ISBN 13: 9783540092377
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 13,46
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. I: Binary-relation semantics.- II: Computation-tree semantics.David Harel has been at the Weizmann Institute of Science in Israel since 1980. He was Department Head from 1989-95, and was Dean of the Faculty of Mathematics and Computer Science betwee.