Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) 2008th Edition

Book 30 of 45: Texts in Theoretical Computer Science. An EATCS

Kr�ger, Fred (Author)

3.80 out of 5 stars

5 ratings by Goodreads

ISBN 10: 3540674012 ISBN 13: 9783540674016

Published by Springer, 2008

Language: English

Condition: Used - Near fine Hardcover

Save for Later

Sold by Recycle Bookstore, San Jose, CA, U.S.A.

AbeBooks Seller since October 23, 2001

Seller rating 4 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Condition: Used - Near fine

Price:

US$ 44.50

US$ 5.75 shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Book has a hint of wear to the edges and corners, otherwise in near new condition.

Seller Inventory # 976837

Contact seller

Report this item

Bibliographic Details

Title

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) 2008th Edition

Publisher

Springer

Publication Date

2008

Language

English

ISBN 10

3540674012

ISBN 13

9783540674016

Binding

Hardcover

Condition

Near Fine

Seller catalogs

Computer

About this title

Synopsis

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories.

All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.

About the Author

Fred Krger:Since 1971 working in Computer Science1980-1986 Professor for Computer Science at Technical University of MunichSince 1986 Professor for Computer Science at University of Munich1987 World-wide first textbook on Temporal Logic ("Temporal Logic of Programs", Springer)Stephan Merz:1992 Ph.D. in Computer Science, University of Munich1995-2002 Assistant Professor for Computer Science, University of Munichsince 2002 Senior Researcher, INRIA Lorraine, Nancy

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

Store Description

As part of San Jose's reading community since 1970, we have provided the city with a great general reading bookstore designed for those who love to browse. Our location (with nearly 4,000 square feet of books) is 1066 The Alameda in San Jose, California, just a few blocks from downtown. Our regular store hours are Mon-Thurs, 11 a.m. to 9 p.m.; Fri-Sat, 11 a.m. to 7 p.m.; Sun, 12 to 7 p.m.

Visit Seller's Storefront

Seller's business information

Recycle Bookstore
CA, U.S.A.

Sale & Shipping Terms

Terms of Sale

In business since 1962.

Shipping Terms

Buy with confidence! We package your order professionally. In business since 1962.

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.

Most books are shipped within 48 hours of receipt of payment. California residents add the sales tax applicable in their county.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 5.75	US$ 12.00

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.