The spine of software: designing provalby correct software-theory and practice, or, a mathematical introduction to the semantics of computer programs
Robert Laurence Baber · John Wiley & Sons, Inc. eBooks · 1986
PROLOGUE: Komputema Simio, Computing Monkey of Moc Introduction THEORY: Basic Semantics of Computer Programs and Programming Constructs Proof Rules for the Individual Programming Constructs Transfundamental Programming Constructs PRACTICE: The Analysis and Verification of Programs: Methods and Examples The Construction of Correct Programs EPILOGUE: The Practice of Software Engineering Tomorrow.