Springer
Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems: ... V (Lecture Notes in Computer Science, 17145)
Free shipping with 3 or more products in your cart
Payflex: Pay in 4 interest-free payments of R583.75. Read the FAQ
R 2,436
4% off
Limited time offer
R 2,335
Used, Good Condition
Duties, insurance and VAT included
Delivered in 10–20 working days —
Due to be released on 7 November 2026. Delivery times apply once released.
Free shipping with 3 or more products in your cart
Secure checkout
Your payment is fully protected
Duties & VAT included
No surprise charges at the door
Tracked delivery
Track your order end to end
Returns support
30-day return window
Description
Condition - Very Good
The item shows wear from consistent use but remains in good condition. It may arrive with damaged packaging or be repackaged.
Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems: ... V (Lecture Notes in Computer Science, 17145)
Technical Specifications
Manufacturer
Springer
Height
1.6 cm
Length
15.5 cm
Width
23.5 cm
Release date
7 November 2026
Shipping & Delivery
Your order is shipped from the USA and delivered to your door in South Africa in 10–20 working days. All items are fully tracked.
Returns & Exchanges
We offer a 30-day return window. If something isn't right, contact our support team and we'll make it right.




