The Correctness-by-Construction Approach to Programming by Derrick G. KourieThe Correctness-by-Construction Approach to Programming by Derrick G. Kourie

The Correctness-by-Construction Approach to Programming

byDerrick G. Kourie, Bruce W. Watson

Paperback | May 9, 2014

Pricing and Purchase Info

$141.95

Earn 710 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:The Correctness-by-Construction Approach to ProgrammingFormat:PaperbackDimensions:9.25 × 6.1 × 0 inPublished:May 9, 2014Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642448542

ISBN - 13:9783642448546

Look for similar items by category:

Reviews