First-Order Dynamic Logic
Harel, D.
ISBN 10: 3540092374 ISBN 13: 9783540092377
Verlag: Springer, 1979
Gebraucht
Paperback
Verkäufer
ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 24. März 2009
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 0.48. Bestandsnummer des Verkäufers G3540092374I2N00
Inhaltsangabe:
Firma anterior poseedor. Muy buen estado
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: First-Order Dynamic Logic
Verlag: Springer
Erscheinungsdatum: 1979
Einband: Paperback
Zustand: As New
Zustand des Schutzumschlags: No Jacket
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
First-Order Dynamic Logic (Lecture Notes in Computer Science)
Anbieter: Powell's Bookstores Chicago, ABAA, Chicago, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Used - Very Good. 1979. Paperback. Some shelf-wear. Very Good. Artikel-Nr. SON000001044
Gebraucht kaufen
EUR 10,07
EUR 3,82 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
First-Order Dynamic Logic
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - I: Binary-relation semantics.- II: Computation-tree semantics. Artikel-Nr. 9783540092377
Neu kaufen
EUR 10,69
EUR 63,54 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar