Mathematics of Program Construction
Subtitle: 375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 ... (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: July 10, 1989
Language: eng
Format: Paperback
Number of pages: 421
ISBN-13: 9783540513056
Subjects: Object-oriented programming (OOP); Computers - Languages / Programming; Computer Architecture - General; Logic Design; Programming - Software Development; Computers / Programming / General; Programmspezifikation und Transformation; Programmverifikation; Schrittweise Verfeinerung; Software-Erstellung; Verteilte Systeme
First sentence: Generally speaking, mathematical models are defined, first by listing their component VARIABLES, and second by writing down the relevant properties of these variables, properties which we call here the INVARIANT [13] of the model.