Verification Model Checking and Abstract Interpretation 11th Internati
In stock
Smart shoppers OnBuy it!
- Earn Cashback on every purchase – spend it instantly on your next order
- Free delivery – on millions of items across the site
- Customers love us – 133,000 Trustpilot reviews and an 'Excellent' rating
Interest-free payment options available
See full product description & details
Delivery: Standard (Free) | Thu 17th - Sat 19th Sep
Sold by: Ria Christie Collections
Returns: 30 days
180-day payment protection
You might also like
Verification Model Checking and Abstract Interpretation 11th Internati Description
Invited Talks.- Analysis of Systems with Stochastic Process Creation.- Verifying Concurrent Programs with Chalice.- Static Timing Analysis for Hard Real-Time Systems.- Invited Tutorials.- Abstract Interpretation-Based Protection.- Advances in Probabilistic Model Checking.- Building a Calculus of Data Structures.- Regular Papers.- Temporal Reasoning for Procedural Programs.- Improved Model Checking of Hierarchical Systems.- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Au
Details
| OPC | PXP2PDK |
|---|---|
| Brand | riachristiecollections |
| Codes | 3642113184 (ISBN-10) |
| 9783642113185 (ISBN) | |
| MPN | 9783642113185 |
Compare Sellers for Verification Model Checking and Abstract Interpretation 11th Internati
- New from £61.12
| Seller | Ratings | Warranty | Returns | Price | Delivery | Total | Quantity |
|---|---|---|---|---|---|---|---|
| (207 reviews) | - |
30 Days
Free Returns No
|
£61.12
|
+Free Delivery
Est. Delivery:
17th-19th Sep
|
£61.12
|
Earn as you shop with instant Cashback on everything.
No catch, no cost
- Paid into your OnBuy account
- Spend it on your next purchase
- Save it or withdraw it
Become a Cashback VIP
Just 1 purchase unlocks bigger deals & rates