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 – 137,000 Trustpilot reviews and an 'Excellent' rating
Interest-free payment options available
See full product description & details
Delivery: Standard (Free) | Wed 4th - Fri 6th Nov
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.05
| Seller | Ratings | Warranty | Returns | Price | Delivery | Total | Quantity |
|---|---|---|---|---|---|---|---|
| (209 reviews) | - |
30 Days
Free Returns No
|
£61.05
|
+Free Delivery
Est. Delivery:
4th-6th Nov
|
£61.05
|
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