Title: Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE) Kroger, Fred
Publisher: Springer Verlag
Publication Date: 1987
Language: English
ISBN 10: 0387170308
ISBN 13: 9780387170305
Binding: Hardcover
Condition: Very Good

About this title

Synopsis

Introduction to the temporal logic of - in particular parallel - programs. Divided into three main parts: - Presentation of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their properties within the language of temporal logic; - Application of the logical apparatus to the verification of program properties including a new embedding of Hoare's logic into the temporal framework.

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

Store Description

In the centre of the picturesque Market Town of Hay-on-Wye, UK; we serve the British and International Book Trades 364 days per year. Whilst always caring for individual requirements we buy and sell entire collections and libraries and efficiently dispatch large consignments to your door, whether you are a collector, a shop, a university, or a school. Vist our Online Shop at http://www.hayonwyebooksellers.com

Visit Seller's Storefront

Seller's business information

Hay-on-Wye Booksellers
14 High Town, Hay-on-Wye, HR3 5AE, United Kingdom

Sale & Shipping Terms

Terms of Sale

Mastercard, Visa, VisaDelta, Electron, Switch, Solo, cards accepted. Also cash and Sterling Checks (GBP Cheques). If you wish to pay via Switch/Maestro please ensure you enter in the start date and the issue number in the shopping basket. Alternatively you can enter in the information in the special intrusions field during the shopping basket.

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	19 to 31 business days	19 to 30 business days
First item	US$ 33.52	US$ 134.06

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.