Tools and Algorithms for the Construction and Analysis of Systems Pape
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 – 130,000 Trustpilot reviews and an 'Excellent' rating
Interest-free payment options available
See full product description & details
Delivery: Standard (Free) | Tue 4th - Thu 6th Aug
Sold by: Ria Christie Collections
Returns: 30 days
180-day payment protection
Tools and Algorithms for the Construction and Analysis of Systems Pape Description
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions.
Details
| OPC | PMXCSWW |
|---|---|
| Brand | riachristiecollections |
| Codes | 3031308190 (ISBN-10) |
| 9783031308192 (ISBN) | |
| MPN | 9783031308192 |
Compare Sellers for Tools and Algorithms for the Construction and Analysis of Systems Pape
- New from £43.42
| Seller | Ratings | Warranty | Returns | Price | Delivery | Total | Quantity |
|---|---|---|---|---|---|---|---|
| (207 reviews) | - |
30 Days
Free Returns No
|
£43.42
|
+Free Delivery
Est. Delivery:
4th-6th Aug
|
£43.42
|
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