Constructing Correct Software - Formal Approaches to Computing & Information Technology S. - John Cooke - Books - Springer London Ltd - 9781852338206 - November 8, 2004
In case cover and title do not match, the title is correct

Constructing Correct Software - Formal Approaches to Computing & Information Technology S. 2nd Ed. 2005 edition

John Cooke

Price
HK$ 517
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 18 - 29

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Constructing Correct Software - Formal Approaches to Computing & Information Technology S. 2nd Ed. 2005 edition

Illustrates and explains the constructive approach to software development. This book uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained. It is intended for 3rd/4th year undergraduate and postgraduate and software developers in industry.

532 pages, 100 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 8, 2004
ISBN13 9781852338206
Publishers Springer London Ltd
Pages 509
Dimensions 155 × 234 × 24 mm   ·   748 g
Language English  
Show all

More by John Cooke

See all of John Cooke ( e.g. Paperback Book , Hardcover Book and Book )