Mathematical Methods of Specification and Synthesis of Software Systems '85
Subtitle: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 (Lecture Notes in Computer Science)
Contributors: Wolfgang Bibel (Editor); Klaus P. Jantke (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 17, 1986
Language: eng
Format: Paperback
Number of pages: 256
ISBN-13: 9783540164449
Subjects: Mathematical theory of computation; Software engineering; Computers - Languages / Programming; Programming - General; Computers / Programming / General
First sentence: Let D be a finite set of data.