ebook,Derrick G. Kourie, Bruce W. Watson,The Correctness-by-Construction Approach to Programming,Springer,C,COMPUTER,COMPUTER PROGRAMMING,COMPUTERS / Programming / General,COMPUTERS / Software Development & Engineering / General,Computer Applications,Computer Books: General,Computer Science,Computer architecture & logic design,Computer programming / software development,Computer programming / software engineering,Computer/General,Computers,Computers/Programming - General,Computers/Software Development & Engineering - General,Informatik, EDV / Informatik,Logic,Logic design,Logics and Meanings of Programs,MATHEMATICAL AND SYMBOLIC LOGIC,MATHEMATICS / Logic,Mathematical Logic and Formal Languages,Mathematical theory of computation,Mathematics,Non-Fiction,Programming - General,SOFTWARE DEVELOPMENT,Scholarly/Undergraduate,Software Development & Engineering - General,Software Engineering,Textbooks (Various Levels),United States,algorithm correctness; first-order predicate logic; formal methods; pre- and post-conditions; predicate calculus; program correctness,algorithm correctness;first-order predicate logic;formal methods;pre- and post-conditions;predicate calculus;program correctness,COMPUTERS / Programming / General,COMPUTERS / Software Development & Engineering / General,Computers/Programming - General,Computers/Software Development & Engineering - General,Logic,MATHEMATICS / Logic,Programming - General,Software Development & Engineering - General,Mathematics,Computer Programming,Software Development,Computers,Computer Books: General,Computer programming / software development,Software Engineering,Informatik, EDV / Informatik" />