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
Application-Driven Architecture Synthesis
$169.99
The Inflatables in Bad Air Day (The Inflatables #1)
$5.24
Mechanisms of Secondary Brain Damage
$39.99
Pulmonary Complications of Neuromuscular Disease
$159.99
Exzellente ffentliche Beschaffung
$49.99
Type Systems for Distributed Programs: Components and Sessions
$84.99
Die Gewebe des Menschen und der Sugetiere
$149.99
Hardware Description Languages and their Applications
$129.00
Mathematical Foundations of Data Science
$99.99
Scaling up Learning for Sustained Impact
$54.99
Functional Anatomy of the Sleep-Wakefulness Cycle: Wakefulness
$109.99
Cellular Communication During Ocular Development
$59.99
Popular Music, Technology, and the Changing Media Ecosystem
$119.99
Managing Complexity: Insights, Concepts, Applications
$84.99
Financial Boom and Gloom
$109.99
Acoustics of Layered Media II
$219.99
Lectures on Boolean Algebras
$79.99
Advanced Simulation in Biomedicine
$54.99
Die Partielle Hypophysenvorderlappen-Insuffizienz
$59.99
The Sol to Gel Transition
$44.99
Staat und Religion
$54.99
Inside PixInsight
$37.99
Regionalism Among Developing Countries
$109.99
Moment Maps and Combinatorial Invariants of Hamiltonian Tn-spaces
$84.99
Universities as Drivers of Social Innovation
$54.99
Five Paradigms for Education
$64.99
Complex Differential Geometry and Supermanifolds in Strings and Fields
$84.99
Chance Discoveries in Real World Decision Making
$219.99
Economics with Heterogeneous Interacting Agents
$109.99
Fundamentalism and Education in the Scopes Era
$39.99
The Archaeology of Manila Galleons in the American Continent
$79.99
Quantitative and Ecological Aspects of Plant Breeding
$129.00
Service-Oriented Crowdsourcing
$39.99
Wired/Wireless Internet Communications
$39.99
Mineral Exploration: Practical Application
$159.99
Advances in Human Factors in Robots and Unmanned Systems
$109.99
Proceedings of the 17th International Conference on Alkali-Aggregate Reaction in Concrete
$249.99
Express.js Deep API Reference
$27.99
Das Autistisch-Undisiplinierte Denken in der Mediin und Seine berwindung
$79.99
Imaging of the Foot and Ankle
$219.99
