Critical Systems Formal Methods and Automated Verification Joint 22nd
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
Critical Systems Formal Methods and Automated Verification Joint 22nd Description
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions.
Details
| OPC | PXJ2Y5P |
|---|---|
| Brand | riachristiecollections |
| Codes | 331967112X (ISBN-10) |
| 9783319671123 (ISBN) | |
| MPN | 9783319671123 |
Compare Sellers for Critical Systems Formal Methods and Automated Verification Joint 22nd
- 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