Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2

Gabbay, Dov M; Finger, M.; Reynolds, M.

ISBN 10: 0198537689 ISBN 13: 9780198537687
Verlag: Oxford University Press, 2000
Gebraucht Hardcover

Verkäufer OM Books, Sevilla, SE, Spanien Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

AbeBooks-Verkäufer seit 27. Januar 2022

Beschreibung

Beschreibung:

Bestandsnummer des Verkäufers 9780198537687

Diesen Artikel melden

Inhaltsangabe:

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.

Über die Autorin bzw. den Autor: Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Temporal Logic: Mathematical Foundations and...
Verlag: Oxford University Press
Erscheinungsdatum: 2000
Einband: Hardcover
Zustand: Usado - bueno

Beste Suchergebnisse bei AbeBooks

Beispielbild für diese ISBN

Gabbay, Dov M., Mark A. Reynolds and Marcelo Finger
Verlag: Clarendon Press, Oxford, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Gebraucht Hardcover Erstausgabe

Anbieter: Peter Rhodes, Southampton, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Original Cloth. 1st Edition. Oxford Logic Guides No. 40. 24 x 15.5 cm., xiii, 597 pp. The book is covered in black cloth with gilt lettering on the spine and front. CONDITION. As new. A very clean tight copy. No marks of ownership. Bestandsnummer des Verkäufers 008063

Verkäufer kontaktieren

Gebraucht kaufen

EUR 79,11
EUR 19,77 shipping
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Gabbay, Dov. M.
Verlag: Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Neu Hardcover

Anbieter: Labyrinth Books, Princeton, NJ, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 277437

Verkäufer kontaktieren

Neu kaufen

EUR 150,40
EUR 3,82 shipping
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Dov M. Gabbay
ISBN 10: 0198537689 ISBN 13: 9780198537687
Neu Hardcover
Print-on-Demand

Anbieter: AussieBookSeller, Truganina, VIC, Australien

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: new. Hardcover. This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning. Mathematical logic is an area of interest to workers in philosophy and computer science as well as mathematics. This book, the companion to an already successful volume by the same authors, deals with an area of logic of interest in computer science, which considers the particularly rich and complex effects of time. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Bestandsnummer des Verkäufers 9780198537687

Verkäufer kontaktieren

Neu kaufen

EUR 201,21
EUR 31,41 shipping
Versand von Australien nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo
Verlag: Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Neu Hardcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 79685-n

Verkäufer kontaktieren

Neu kaufen

EUR 294,00
EUR 17,20 shipping
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Gabbay, Dov. M.; Reynolds, Mark A.; Finger, Marcelo
Verlag: Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Neu Hardcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9780198537687_new

Verkäufer kontaktieren

Neu kaufen

EUR 294,01
EUR 13,73 shipping
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Dov M Gabbay
Verlag: Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Neu Hardcover
Print-on-Demand

Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

HRD. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L1-9780198537687

Verkäufer kontaktieren

Neu kaufen

EUR 306,25
EUR 8,75 shipping
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo
Verlag: Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Neu Hardcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 79685-n

Verkäufer kontaktieren

Neu kaufen

EUR 310,04
EUR 2,24 shipping
Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Dov M Gabbay
Verlag: Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Neu Hardcover
Print-on-Demand

Anbieter: PBShop.store US, Wood Dale, IL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

HRD. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L1-9780198537687

Verkäufer kontaktieren

Neu kaufen

EUR 312,36
Versand gratis
Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Dov M. Gabbay
ISBN 10: 0198537689 ISBN 13: 9780198537687
Neu Hardcover
Print-on-Demand

Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: new. Hardcover. This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning. Mathematical logic is an area of interest to workers in philosophy and computer science as well as mathematics. This book, the companion to an already successful volume by the same authors, deals with an area of logic of interest in computer science, which considers the particularly rich and complex effects of time. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verkäufers 9780198537687

Verkäufer kontaktieren

Neu kaufen

EUR 320,56
EUR 42,42 shipping
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo
Verlag: Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Gebraucht Hardcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 79685

Verkäufer kontaktieren

Gebraucht kaufen

EUR 332,90
EUR 17,20 shipping
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Es gibt 3 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen