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
New Advances on Disease Biomarkers and Molecular Targets in Biomedicine
$109.00
Tsunami Events and Lessons Learned
$109.99
Sequences, Subsequences, and Consequences
$39.99
Heat and Mass Transfer
$84.99
Heterogeneous Network Quality of Service Systems
$109.99
Logic Symposia, Hakone, 1979, 1980
$44.99
Whales of the Southern Ocean
$199.99
Solving Polynomial Equations
$39.99
Probabilities, Laws, and Structures
$169.99
History, Features, and Typology of Language Corpora
$89.99
True Nutrition, True Fitness
$54.99
Satellite Dynamics and Space Missions
$159.99
Formel, Farbe, Form
$69.99
El monstruo de la realidad virtual
$5.21
Intelligent Data Analytics for Power and Energy Systems
$199.99
City Information Modelling
$169.99
Technologietransfer im Kartellrecht
$59.99
Ambient Assisted Living
$54.99
Defence from Floods and Floodplain Management
$259.00
Collective Effects in Quantum Statistics of Radiation and Matter
$169.99
Robot Memetics
$54.99
Beyond Manufacturing Resource Planning (MRP II)
$109.99
Metaphor and Dialectic in Managing Diversity
$109.99
My Grandpa Is Grand! A Hello! Lucky Book by Hello! Lucky
$8.99
Urine Formed Elements
$119.99
Goethe-Handbuch Supplemente
$159.99
Waveguide Propagation of Nonlinear Waves
$109.00
Global Indigenous Communities
$49.99
Scholastic Reader! Pre-Level 1-Gus: Gus Gets Mad
$2.99
Materialflurechnung
$49.99
Literary Careers in the Modern Era
$54.99
Die Vierte Dimension der Schpfung
$29.99
Stink and the Shark Sleepover
$4.46
Rookie Toddler PreK Collection
$24.00
Maple in Mathematics Education and Research
$54.99
betrifft: TEAM
$69.99
Modelling Nature: An Opinionated Introduction to Scientific Representation
$89.00
Nurturing the Talent to Nurture the Legacy
$14.99
Durch Luhmanns Brille
$39.99
Personal sustainability
$17.99
