Constructing Correct Software (Formal Approaches to Computing & Information Technology)

New
Paperback
2004
$94.34

Links constructive software development to traditional problem-solving methods Not dependent on any particular specification language, but is based instead on their common core

Synopsis

Links constructive software development to traditional problem-solving methods Not dependent on any particular specification language, but is based instead on their common core

$94.34

Save:$8.40 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 509
Edition: 2nd ed.
Publisher: Springer
Published: 08 Nov 2004
ISBN 10: 1852338202
ISBN 13: 9781852338206

Constructing Correct Software (Formal Approaches to Computing & Information Technology)

New

$94.34

Synopsis

$94.34

More Information