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
Creative Cost-Benefits Reinvention
$39.99
Bankbilanzierung und Bankprfung
$59.99
Going Viral: A Socially Distant Love Story
$8.24
Facets of Noise
$159.99
The Physics of Multiply and Highly Charged Ions
$169.99
The Border Dispute Between Croatia and Slovenia
$139.99
Studien ber mechanische Bobbinet- und Spitzen-Herstellung
$69.99
Co-utility
$109.99
Evozierte Potentiale im Verlauf
$54.99
Ovulation Stimulation with Gonadotropins
$109.99
Kostenkontrolle und Kostennderungspotentiale
$59.99
Chemotherapy
$54.99
Salad Freak: Recipes to Feed a Healthy Obsession by Jess Damuck
$35.00
Histones and Nucleohistones
$84.99
Principles and Methods in Landscape Ecology
$149.00
Medizinische Grundlagen der Heilpdagogik
$59.99
Liutex and Third Generation of Vortex Identification
$219.99
Infinite-Dimensional Dirac Operators and Supersymmetric Quantum Fields
$39.99
Cytostatica in der Dermatologie
$69.99
The Analysis of Solutions of Elliptic Equations
$109.99
Traditional and Non-Traditional Robotic Sensors
$39.99
Foundations of Molecular Modeling and Simulation
$159.99
Microwave Tube Transmitters
$329.99
Dividing Africa with Policy
$54.99
Sectional Fetal Anatomy in Ultrasound
$89.00
Image Analysis, Random Fields and Markov Chain Monte Carlo Methods
$109.99
The Vietnam Nationalist Party (1927-1954)
$39.99
Intracellular Parasites
$219.00
Electrochemistry in Ionic Liquids
$109.99
Statistical Modeling for Biological Systems
$129.99
Soils Under Stress
$84.99
Forest Properties and Carbon Cycle Studies from Earth Observations
$189.00
Linguistische Datenverarbeitung
$69.95
Multimedia Technologies in the Internet of Things Environment, Volume 3
$199.99
Practical Doomsday - A User's Guide to the End of the World by Michal Zalewski
$24.99
The Gates of Gaza
$109.99
Die wirtschaftliche und kologische Situation der DDR in den 80er Jahren
$64.99
Verletzungen des Auges
$44.99
Introduction to Space Syntax in Urban Studies
$59.99
Die Herstellung einer Begabungskultur in der Kindheit
$79.99
