|
Temporal Logic: Volume 2: Mathematical Foundations and Computational Aspects: Vol 2 (Oxford Logic Guides)
|
| List Price: | £149.00 |
| Price: | £141.55 & eligible for FREE Super Saver Delivery on orders over £5. Details |
Availability: Usually dispatched within 1 to 3 weeks
Dispatched from and sold by Amazon.co.uk
Product Description
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.
Product Details
- Amazon Sales Rank: #3050826 in Books
- Published on: 2000-03-30
- Original language: English
- Number of items: 1
- Binding: Hardcover
- 597 pages
Editorial Reviews
Review
"The book is well written and will be of particular interest to researchers and practitioners in computer science."--Mathematical Reviews
