00730pamaa2200217 4500 0000048104 20130117090000.0 101012 eng 9781852338206 (pbk.) QA76.76.D47 COO 2005 Cooke Constructing correct software John Cooke. 2nd ed. New York: Springer, 2005. xxi, 509 p.: ill.; 24 cm. Formal approaches to computing and information technology BITCUN Includes bibliographical references (p. [501]-502) and index Formal methods (Computer science) Computer software -- Development http://www.springeonline.com