Leveraging Applications of Formal Methods Verification and Validation
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
Leveraging Applications of Formal Methods Verification and Validation Description
The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings.
Details
| OPC | PXQZ8PG |
|---|---|
| Brand | riachristiecollections |
| Codes | 303083722X (ISBN-10) |
| 9783030837228 (ISBN) | |
| MPN | 9783030837228 |
Compare Sellers for Leveraging Applications of Formal Methods Verification and Validation
- 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