Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Temporal Logic and State Systems
Best Price:
Buy Temporal Logic and State Systems for $69.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$69.99 | $69.99 |
|
$69.99 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
A Guide to Institutional Property Investment
$69.99
Jahrbuch fr orthopdische Chirurgie
$59.99
Die Verwendung maschineller Hilfsmittel im Bankbetrieb
$59.99
The Translational Design of Schools
$39.99
Continuous Media Databases
$84.99
Pseudo-Boolean Methods for Bivalent Programming
$39.99
Kartelle als Produktionsfrderer
$59.99
Masculinity and Monstrosity in Contemporary Hollywood Films
$39.99
The Belt & Road Initiative in the Global Arena
$139.00
Tailored Light 2
$139.00
Arbeitskulturen im Wandel
$64.99
Examens-Fragen Pathologie
$54.99
Climate Change Strategies: Handling the Challenges of Adapting to a Changing Climate
$129.00
Deutsche und internationale Entwicklungspolitik
$69.99
New Developments in Sensing Technology for Structural Health Monitoring
$169.99
Mathematical Analysis, Probability and Applications Plenary Lectures
$129.00
Art Maps and Cities
$129.99
4000 Jahre Algebra
$44.99
Mathematical Aspects of Computer and Information Sciences
$54.99
Das Going-public-Geschft deutscher Banken
$49.99
Die Technik des Khlschrankes
$59.99
Islam, Muslims and the Modern State
$59.99
A Stargazing Program for Beginners
$49.99
Proceedings of the 12th International Conference on Soft Computing for Problem Solving
$219.00
First Steps in Differential Geometry
$59.99
World Conference on Computers in Education VI
$259.00
Ethics, Authority, and War
$39.99
Regional models of trade and development
$109.99
Men in Space
$39.99
Field-Assisted Sintering
$149.00
Proteases in the Brain
$129.00
Funktionelles Training mit Hand- und Kleingerten
$74.99
Semantics, Applications, and Implementation of Program Generation
$39.99
Machine Learning and Knowledge Discovery in Databases. Research Track
$79.99
The Secret History of Food: Strange but True Stories About the Origins of Everything We Eat by Matt Siegel
$19.99
The ISVA Directory of Members and Member Firms 1996/7
$69.99
Sexualitt Unterdrckung statt Entfaltung
$59.99
Color Atlas of Histopathology of the Cervix Uteri
$169.99
Stabilitt und Matrizen
$59.99
NUMISHEET 2022
$329.99
