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

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

by D . John Cooke (Author)

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

$93.26

Save:$8.30 (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