Anbieter: Powell's Bookstores Chicago, ABAA, Chicago, IL, USA
Zustand: Used - Very Good. 1979. Paperback. Some shelf-wear. Very Good.
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.