TEMPORAL LOGIC AND STATE SYSTEMS (HB 2008)
Language: English
Published by Springer, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- New
Seller: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
AbeBooks seller since February 22, 2022
Condition: New
US$ 63.25
Quantity: 5 available
Add to basketItem description from seller
Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Seller Inventory # SNTNB-77215
- Title
- TEMPORAL LOGIC AND STATE SYSTEMS (HB 2008)
- Author
- Kröger, Fred; Merz, Stephan
- Publisher
- Springer
- Publication year
- 2008
- Condition
- New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 3540674012
- ISBN 13
- 9783540674016
- Series
- Book 30 of 45: Texts in Theoretical Computer Science. An EATCS
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.
"Synopsis" may belong to another edition of this title.
About the Author
"About the title" may belong to another edition of this title.
SMASS Sellers
IRVING, TX, U.S.A.
AbeBooks seller since February 22, 2022
Shipping rates within U.S.A.
| Item | 3 to 6 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 0.00 |
Payment methods
Store description
We sell Brand New University Textbooks to students at very affordable prices. All orders are shipped by Trackable methods only and the tracking number is available within 48 hours of placing the order. We also offer free shipping to USA, Canada and Europe and lowest shipping charges in other countries. We have multiple warehouses to save on the transit time.
Specialty
EDUCATIONAL TEXTBOOKSSeller's business information
SMASS Group LLC
1944 Loma Linda Dr
Irving, TX U.S.A. 75063
Terms of sale
We sell Brand New Textbooks requied for studies in the Univesity. We have been in this business for the past 14 years and we know how to keep our customers happy and satisfies by providing them the required course material and the most affordable prices.
Shipping terms
We ship all orders from our Multiple warehouses by Tracakble method only. We have tie up with Fedex, DHL, UPS and USPS for our logistics requirements. All tracking numbers are available within 48 hours of processing the order.