Verwandte Artikel zu Volume 2: Mathematical Foundations and Computational...
Volume 2: Mathematical Foundations and Computational Aspects Volume 2: 40 (Oxford Logic Guides) - Hardcover
Inhaltsangabe
Book by Gabbay Dov M Reynolds Mark A Finger Marcelo
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Críticas
"The book is well written and will be of particular interest to researchers and practitioners in computer science."--Mathematical Reviews "The book is well written and will be of particular interest to researchers and practitioners in computer science."--Mathematical Reviews "The book is well written and will be of particular interest to researchers and practitioners in computer science."--Mathematical Reviews "The book is well written and will be of particular interest to researchers and practitioners in computer science."--Mathematical Reviews
Reseña del editor
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 diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagOUP Oxford
- Erscheinungsdatum2000
- ISBN 10 0198537689
- ISBN 13 9780198537687
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten612
Neu kaufen
Diesen Artikel anzeigen
EUR 315,08
EUR 14,18 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerSuchergebnisse für Volume 2: Mathematical Foundations and Computational...
Beispielbild für diese ISBN
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9780198537687_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Temporal Logic : Mathematical Foundations and Computational Aspects Volume 2
Verlag:
Oxford University Press (UK) Jun 2000, 2000
ISBN 10: 0198537689
ISBN 13: 9780198537687
Neu
Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Neuware - This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this book, and its companion are an indispensable reference for both the pure logician and the theoretical computer scientist. Artikel-Nr. 9780198537687
Anzahl: 2 verfügbar