Deductive Software Verification The KeY Book From Theory to Practice P
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
Deductive Software Verification The KeY Book From Theory to Practice P Description
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses formal verification, test generation, securitynbsp analysis, visualization, and debugging.
Details
| OPC | PXHN5XZ |
|---|---|
| Brand | riachristiecollections |
| Codes | 3319498118 (ISBN-10) |
| 9783319498119 (ISBN) | |
| MPN | 9783319498119 |
Compare Sellers for Deductive Software Verification The KeY Book From Theory to Practice P
- New from £128.88
| Seller | Ratings | Warranty | Returns | Price | Delivery | Total | Quantity |
|---|---|---|---|---|---|---|---|
| (207 reviews) | - |
30 Days
Free Returns No
|
£128.88
|
+Free Delivery
Est. Delivery:
17th-19th Sep
|
£128.88
|
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