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
Hand und Arm
$44.99
The Search for Charm, Beauty, and Truth at High Energies
$54.99
Exploratory Data Analysis in Business and Economics
$99.99
Repairing And Extending Weather Barriers
$219.99
Ordered Cones and Approximation
$29.99
A Novel SOFC Tri-generation System for Building Applications
$84.99
A Summary of Scientific Method
$44.99
Error Detecting Codes
$129.00
Marketing-Mix fr neuartige Gebrauchsgter
$59.99
Fortleitung elektrischer Energie lngs Leitungen in Starkstrom- und Fernmeldetechnik
$59.99
Reverse Shoulder Arthroplasty
$109.00
Zehnte sterreichische rztetagung Wien
$59.99
Microhardness of Metals and Semiconductors
$54.99
Arzneimitteltherapie fr ltere Menschen
$119.99
Untersuchungen ber die Zusammensetzung und Verwendbarkeit von Schwelteerfraktionen
$54.99
Designing Instruction For Open Sharing
$54.99
Baby's First Bible Stories: Bedtime Prayers
$5.99
American Creationism, Creation Science, and Intelligent Design in the Evangelical Market
$39.99
Interprocess Communication with macOS
$49.99
Moritz Schlick. Frhe erkenntnistheoretische Schriften
$179.99
Advances in Cold-Region Thermal Engineering and Sciences
$129.00
Eclogite Facies Rocks
$109.99
Biomedical Engineering
$199.99
The Semantic Web
$54.99
Theoriendynamik Normale Wissenschaft und wissenschaftliche Revolutionen Methodologie der Forschungsp
$24.99
mODa 10 Advances in Model-Oriented Design and Analysis
$169.99
Children's Rights from Below
$54.99
Climate Vulnerability and Resilience in the Global South
$169.99
Entwicklung und Konstruktion der Unterseeboots-Sehrohre
$59.99
Deference to the Administration in Judicial Review
$219.99
Lorenz Oken Gesammelte Werke
$149.00
Vertebrates in Complex Tropical Systems
$84.99
Rural Labor Migration, Discrimination, and the New Dual Labor Market in China
$54.99
Global Pharmaceutical Policy
$169.99
Theoretische Mechanik
$39.99
Corpus-Based Studies on Non-Finite Complements in Recent English
$54.99
Kommentar zum Transfusionsgesetz (TFG) und den Hmotherapie-Richtlinien
$64.99
Sustainable Agriculture Reviews 60
$249.99
Family Firms in Transition
$49.95
A Place-Based Perspective of Food in Society
$109.99
