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. Seller Inventory # 008063

Contact seller

Report this item

Bibliographic Details

Title: Temporal Logic: Mathematical Foundations and...

Publisher: Clarendon Press, Oxford

Publication Date: 2000

Binding: Original Cloth

Edition: 1st Edition.

About this title

Synopsis:

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.

Review:

"The book is well written and will be of particular interest to researchers and practitioners in computer science."--Mathematical Reviews

"About this title" may belong to another edition of this title.

Store Description

Peter Rhodes Books is an established antiquarian and second hand bookshop. I maintain a stock of about 15,000 books in Victorian premises with over 1000 sq. ft. of selling space. Most of the stock is acquired from large private collections. The shop is open from 10 am to 5 pm Monday to Saturday. At other times please contact me by email or Mobile No. 07763326440

Visit Seller's Storefront

Seller's business information

Peter Rhodes
United Kingdom

Terms of Sale:

Payment by Sterling cheque, Paypal or ABE Commerce. The ABE posting and package rates are for uninsured Royal Mail posting. I will quote for insured postage, and for individual rates for very heavy books. Books may be returned for a refund of the list price if they are not as described in the ABE listing.

Shipping Terms:

Orders usually ship within 2 business days. Shipping charges are the same for all books weighing up to 2.2 lbs or 1 kg. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. For UK customers, books weighing up to 1 kg. will be sent by 1st class mail, those between 1 kg and 2 kg will be sent by 2nd class mail, and those weighing over 2 kg will be sent by courier.
Business details. Peter Rhodes Books. Sole trader: Peter Rhodes. Address: 21 Portswood Road, Southampton, HAM, SO17 2ES. Email address: peterrhodes.books@virgin.net. Telephone number: 02380399003

Payment Methods
accepted by seller

Check PayPal

Add to Wants

Items related to Temporal Logic: Mathematical Foundations and Computational...

Temporal Logic: Mathematical Foundations and Computational Aspects. Volume 2.

Gabbay, Dov M., Mark A. Reynolds and Marcelo Finger

Used - Hardcover

Seller's business information