Roll over image to zoom in

The Correctness-by-Construction Approach to Programming (2012. 2014. xiv, 266 S. 37 SW-Abb.,. 235 mm)

Name: The Correctness-by-Construction Approach to Programming (2012. 2014. xiv, 266 S. 37 SW-Abb.,. 235 mm)
Brand: SPRINGER, BERLIN; SPRINGER
SKU: 00000_00000_00000_00000
Price: 215.40 AUD
Availability: InStock

Kourie, Derrick G./ Watson, Bruce W.

215.40 AUD

Member Price

193.86

Quantity:

Product Description

Previously published in hardcover. 978-3-642-44854

... Read Full Text

Publisher

SPRINGER, BERLIN; SPRINGER

Publication Date

ISBN

9783642448546

Pages

Item Type

Book

Format

Paperback

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

Your Cart

The Correctness-by-Construction Approach to Programming (2012. 2014. xiv, 266 S. 37 SW-Abb.,. 235 mm)

Product Description

Availability Status

The Correctness-by-Construction Approach to Programming (2012. 2014. xiv, 266 S. 37 SW-Abb.,. 235 mm)

Recently Viewed Items

Related Products