The Correctness-by-Construction Approach to Programming

by Bruce W . Watson (Author), Derrick G . Kourie (Author)

New
Hardcover
2012
$156.80

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.

Synopsis

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.

$156.80

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 264
Edition: 2012
Publisher: Springer
Published: 12 Apr 2012
ISBN 10: 364227918X
ISBN 13: 9783642279188

The Correctness-by-Construction Approach to Programming

New

$156.80

Synopsis

$156.80

More Information