Back

Zoom Roll over image to zoom in

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction : Dissertationsschrift (2011. XXI, 269 S. 24 cm)

Weiss, Benjamin
111.62 AUD
Member Price
100.46

Product Description

PB

... Read Full Text

Availability Status

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 99.00AUD

Discount is applied at checkout.

Recently Viewed Items

Related Products