Temporal Logic: Volume 2

Name: Temporal Logic: Volume 2
SKU: 1857308
Price: 1052.00 NZD
Availability: InStock

By:

Format:

Hardback

Series:

Oxford Logic Guides

Show Hide Adult Content

$1052.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $263.00 with Afterpay Learn more

6 weekly interest-free payments of $175.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 7-19 June using International Courier

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.

Release date NZ

March 30th, 2000

Author

Audience

Professional & Vocational

Illustrations

line figures

Pages

612

Series

Oxford Logic Guides

Dimensions

162x242x37

ISBN-13

9780198537687

Product ID

1857308

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here