Download or read book Constructing Correct Software written by D. John Cooke and published by Springer Science & Business Media. This book was released on 2007-12-31 with total page 515 pages. Available in PDF, EPUB and Kindle. Book excerpt: Links constructive software development to traditional problem-solving methods Not dependent on any particular specification language, but is based instead on their common core