Back

Zoom Roll over image to zoom in

Deductive Software Verification - The Key Book : From Theory to Practice (Lecture Notes in Computer Science) <Vol. 10001>

Ahrendt, W. (EDT)/ Beckert, B. (EDT)/ Bubel, R. (EDT)
238.03 SGD
Member Price
214.23
Publisher
Springer
Publication Date
Dec 2016
ISBN
9783319498119
Pages
110 illus./684
Item Type
Book
Format
Paperback

Available to Order

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 50.00SGD

Discount is applied at checkout.

Recently Viewed Items

Related Products