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
Exploring the History of Southeast Asian Astronomy
$119.00
100 Nights of a Lifetime: The World's Ultimate Adventures After Dark Book National Geographic Official shopDisney
$40.00
Karl Bonhoeffer
$59.99
Einfhrung in die Koordinationschemie
$29.99
Verrechnungspreise
$54.99
Scanning Electron Microscopy
$329.99
ERP-Kompendium
$49.99
Relativistic Models of Extended Hadrons Obeying a Mass-Spin Trajectory Constraint
$39.99
Boron and Refractory Borides
$84.99
Getting to Know the World's Greatest Inventors and Scientists: Lise Meitner
$5.21
The Representation of Economics in Cinema
$84.99
Home Environments
$169.99
Desktop als Mensch-Maschine-Schnittstelle
$59.99
The Immunology of Human Pregnancy
$84.99
Return to the Far Side of Planet Moore!
$44.99
Induction and Direct Resistance Heating
$199.99
Soziale Medien
$39.99
Versuche zur Klrung des Umwandlungsverhaltens eines sonderkarbidbildenden Chromstahls
$59.99
US Presidents and the Destruction of the Native American Nations
$89.00
Economic Growth in Developing Countries
$109.99
Asian Industrialization and Africa: Studies in Policy Alternatives to Structural Adjustment
$54.99
Die Berechnung Elektrischer Leitungsnetze in Theorie und Praxis
$59.99
Plant Electrophysiology
$189.00
Tuberkulose-Jahrbuch 1951/52
$44.99
Evolutionary Computing
$39.99
How to Feed Your Parents
$5.21
New Trends in Geometric Analysis
$119.00
ber die Entwicklung eines adiabatischen Kalorimeters zur genauen Messung von spezifischen Wrmen k
$59.99
Vergleichen in der Politikwissenschaft
$64.99
Electron Microbeam Analysis
$54.99
Hans Blumenberg: Pdagogische Lektren
$44.99
Tadpole - Safari Babies: Gorilla Infants
$5.21
Markov Processes
$84.99
A Pathway to Safe, Smart, and Resilient Road and Mobility Networks
$279.99
Rechtskonformes Identittsmanagement im Cloud Computing
$74.99
Der Holzmodellbau
$44.99
Family Engagement in Mental Health Interventions for Young Children
$159.99
The Molecular Structure of Amino Acids
$39.99
Neuere Erkenntnisse ber Schwingungen von Bauwerken im Wind. Wege und Grenzen der Plastomechanik bei
$59.99
The Trustee Guide to Investment
$39.99
