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 (Coupon Required):
Buy Temporal Logic and State Systems for $63.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$63.00 | 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
The Geometry of Walker Manifolds
$29.99
Long-Term Forensic Psychiatric Care
$69.99
Migrationserfahrung - Fremdheit - Biografie
$59.99
Die Nasen-, Rachen- und Ohr-Erkrankungen des Kindes in der Taeglichen Praxis
$69.99
Robust Control of DC-DC Converters
$49.99
N-Oxidation of Drugs
$259.00
New Challenges for Data Design
$169.99
Vibrations of Shells and Rods
$84.99
Forecasting, Warning and Responding to Transnational Risks
$39.99
Umweltschutz und Unternehmensplanung
$59.99
Fortschritte der Serologie
$59.99
Regularity and Stochasticity of Nonlinear Dynamical Systems
$84.99
Minerals: Structure, Properties, Methods of Investigation
$169.99
Risikomanagement im Unternehmen
$49.99
Stream Processor Architecture
$109.99
Studien zur Struktur des Bewusstseins
$179.99
Religious Experience Among Second Generation Korean Americans
$39.99
Kinderpflege-Lehrbuch
$69.95
Finding the Personal Voice in Filmmaking
$64.99
What to Expect- Eating Well When You're Expecting, 2nd Edition by Heidi Murkoff
$17.99
Analog Integrated Circuits for Communication
$69.99
Vascular Interventional Radiology
$199.99
Surgery of the Skull Base
$169.99
Algorithms for Sensor Systems
$44.99
Ultimate Guide to Home Repair and Improvement, 3Rd Updated Edition - Proven Money-Saving Projects; 3,400 Photos & Illustrations by Creative Homeowner
$34.99
Clinical Management of Gastrointestinal Cancer
$219.99
The Law of Nations and Britains Quest for Naval Security
$39.99
Geographies, Genders and Geopolitics of James Bond
$19.99
Das Reduktionsverfahren der Baustatik
$79.99
Proofreading Grade 4 Differentiation Pack
$5.99
Kompendium Kinder- und Jugendhilfe
$299.99
Heidelberger Gelehrtenlexikon
$59.99
Combinatorial Pattern Matching
$39.99
Die Paravertebrale Injektion
$59.99
Pipeline Real-time Data Integration and Pipeline Network Virtual Reality System
$39.99
Handbook of Insurance
$199.99
Financial Institutions and Markets
$84.99
Leapfrogging bei technologischen Innovationen
$59.99
Myelodysplastic Syndromes
$79.99
Ethnographic Peace Research
$199.99
