Caap'86
Edition: 1 edition
Publisher: Springer
Published: April 11, 1986
Language: eng
Format: Paperback
Number of pages: 306
ISBN-13: 9783540164432
Subjects: Algebra; Mathematical theory of computation; Computer Science; Logic; Logic Design; Computers / Computer Science; Computers : Logic Design; Mathematics : Logic; Computers - General Information
First sentence: The use of pre- and post-conditions as the basis for program specification methodologies is well-known, see [1], [2], [5], [6], [7], and others.