***INTERNATIONAL EDITION*** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. The book printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service.

Seller Inventory # ABE-1609846164827

Contact seller

Report this item

Bibliographic Details

Title: Logic in Computer Science: Modelling and Reasoning about Systems, 2nd
Publisher: Cambridge University Press
Publication Date: 2004
Language: English
ISBN 10: 052154310X
ISBN 13: 9780521543101
Binding: Soft cover
Edition: International Edition
Condition: New
Dust Jacket Condition: New

About this title

Synopsis

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.

Book Description

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

Store Description

Visit Seller's Storefront

Seller's business information

Aideo Books
CA, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as its described on the Abebooks web sites. If you are dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order has not arrived, you are eligible for a refund within 30 days of the estimated delivery date. If you have changed your mind about a book that you have ordered, please use the Ask bookseller a question link to contact us and we will respond within 2 business days

Shipping Terms

Orders usually ship within 2 business days. 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 within U.S.A.

Shipping rates within U.S.A.
Order quantity	8 to 12 business days	4 to 7 business days
First item	US$ 4.95	US$ 14.98

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.