Abstract: Software development and quality programming language features key programming concepts simple specifications and rigorous arguments reasoning about programs without loops induction, recursion and loops sets records MAPS sequences development from formal specifications program design and formal methods an example of formal methods other formal specification languages summary of notation hints and solutions to exercises.
Publication Year: 1994
Publication Date: 1994-07-01
Language: en
Type: book
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot