Da: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.
Copia autografata
paperback. Condizione: Used-Very Good. 1979th Edition. Some shelf-wear.
Da: California Books, Miami, FL, U.S.A.
EUR 22,19
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: New. pp. 148.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 15,38
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 13,02
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1979
ISBN 10: 3540092374 ISBN 13: 9783540092377
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 10,69
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - I: Binary-relation semantics.- II: Computation-tree semantics.
EUR 12,05
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. First-Order Dynamic Logic | D. Harel | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1979 | Springer | EAN 9783540092377 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 17,65
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 148.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1979
ISBN 10: 3540092374 ISBN 13: 9783540092377
Da: moluna, Greven, Germania
EUR 13,46
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.