The Correctness-by-Construction Approach to Programming
Kourie, Derrick G.; Watson, Bruce W.
€ 121.55
FREE Delivery in Ireland
Description for The Correctness-by-Construction Approach to Programming
Paperback. Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields. Num Pages: 280 pages, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 433.
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
280
Condition
New
ISBN
9783642448546
SKU
V9783642448546
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for The Correctness-by-Construction Approach to Programming