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
Modal and Temporal Properties of Processes
Best Price (Coupon Required):
Buy Modal and Temporal Properties of Processes for $36.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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods in all areas of computer science and software programming.
Reviews
Questions & Answers
Understanding Technological Systems
$49.99
Beyond Missio Dei
$139.99
Unfallversicherung
$59.99
In vivo NMR Imaging
$219.99
Iterated Maps on the Interval as Dynamical Systems
$39.99
Untersuchung der Einflulnge eines durch Kreisspant idealisierten Schiffskrpers bei der Fahrt durc
$59.99
Breast Cancer 4
$54.99
Where Do People Hike?
$3.71
Carbon Nanomaterials as Adsorbents for Environmental and Biological Applications
$39.99
Times of Insight: Conscience, Corporations, and the Common Good
$59.99
Operational Resilience in Finanzinstituten
$54.99
Structure Formation in Alloys
$54.99
Dynamic Thermal Analysis of Machines in Running State
$109.99
Mathematikunterricht im Kontext von Inklusion
$49.99
Werkzeugmaschinen
$49.99
New Institutional Arrangements for the World Economy
$84.99
Im Transit
$59.99
Biomedical Engineering Systems and Technologies
$54.99
The Representation of Masochism and Queer Desire in Film and Literature
$54.99
Medien - Macht - Gesellschaft
$39.95
Recycling
$44.99
Simulating Climate Change and Livelihood Security
$109.00
Lithium-Ion Batteries: Basics and Applications
$139.00
The Higher Education Managerial Revolution?
$109.99
Ecological Methods
$159.99
Computational Methods in Systems Biology
$84.99
Perspectives on Bias in Mental Testing
$109.99
Die Entwicklung der Wissenschaft in einem Schwellenland
$49.99
Metaphern und Redewendungen im politischen Kommentar
$49.99
Evolutionary Algorithms and Metaheuristics in Civil Engineering and Construction Management
$84.99
IRC-SET 2020
$89.00
Analysis mit Mathematica und Maple
$39.99
Relationships in the Organization of Knowledge
$109.99
Bradykinin and Related Kinins
$109.99
Ultra-Wideband, Short-Pulse Electromagnetics 3
$219.99
Subway Surfers Official Game Guide
$9.99
Poetic Logic and the Origins of the Mathematical Imagination
$139.99
Silverlight and ASP.NET Revealed
$29.99
AE-Manual der Endoprothetik
$139.99
Formal and Informal Education during the Rise of Greek Nationalism
$99.99
