Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2 (Oxford Logic Guides, Band 2) - Hardcover
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Temporal Logic: Mathematical Foundations and Computational...
Beispielbild für diese ISBN
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2
Anbieter: Labyrinth Books, Princeton, NJ, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Artikel-Nr. 277437
Neu kaufen
EUR 151,89
EUR 3,86 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
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
Neu kaufen
EUR 299,59
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Temporal Logic
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 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. Series: Oxford Logic Guides. Num Pages: 612 pages, line figures. BIC Classification: PBCD; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 245 x 164 x 37. Weight in Grams: 1076. . 2000. Hardback. . . . . Books ship from the US and Ireland. Artikel-Nr. V9780198537687
Neu kaufen
EUR 423,87
EUR 9,00 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar