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
Bedrohungskommunikation
$49.99
Digital Humanities Looking at the World
$159.99
Smart Engineering
$29.99
Einfhrung in die Quantenchemie
$24.99
Handbuch Kommunikation
$169.00
Glycobiology of Innate Immunology
$129.00
Towards Economic Inclusion in the Western Balkans
$109.99
Evolutionstheorie im Wandel
$34.99
Die Performance der Europischen Whrungsordnung
$49.99
The Changing Role of National Development Banks in Africa
$139.99
Karriere in NGOs
$44.99
A Realistic Theory of Social Entrepreneurship
$59.99
AI and Cognitive Science 90
$54.99
Die Grundgesetzreform nach der deutschen Einheit
$59.99
Organisierter Kinderschutz in Deutschland
$64.99
The Language of Jury Trial
$109.99
Hematopoietic Stem Cells
$109.99
IUTAM Symposium on Numerical Simulation of Non-Isothermal Flow of Viscoelastic Liquids
$109.99
Computational Solid State Physics
$54.99
Der Einflu der Art, der Korngre und der Kationenbelegung von Montmorillonit auf sein thermochemis
$59.99
EskiMo eine expertensystemkontrollierte Methodenbank
$59.99
Talk With Me: Talk and Point Colors / Hablemos y sealemos colores
$3.71
Digitalization Across Organizational Levels
$169.99
Rotating Machinery, Optical Methods & Scanning LDV Methods, Volume 6
$219.99
Applications of Generative AI
$179.99
South Africas Water Predicament
$139.99
Functional Electromyography
$199.99
Pediatric Rheumatology for the Practitioner
$74.99
Emil Fischer
$69.95
Entertainment Computing ICEC 2020
$84.99
The Korean Peace Process and Civil Society
$84.99
Handbook of Industrial Cell Culture
$299.99
Imaging and Diagnosis in Pediatric Brain Tumor Studies
$89.99
High Theory/Low Culture
$54.99
Scholastic Text Sets Grade 4: Complete Set
$489.00
Heyting Algebras
$89.99
Application of Holomorphic Functions in Two and Higher Dimensions
$119.99
Socratic, Platonic and Aristotelian Studies: Essays in Honor of Gerasimos Santas
$169.99
Recent Advances in the Psychology of Language
$39.99
Bewegungsapparat
$59.99
