TAPSOFT'97: Theory and Practice of Software Development
Subtitle: 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings (Lecture Notes in Computer Science)
Contributors: Michel Bidoit (Editor); Max Dauchet (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 9, 1997
Language: eng
Format: Paperback
Number of pages: 884
ISBN-13: 9783540627814
Subjects: Software engineering; Programming - Software Development; Software Development; Computers; Computers - Languages / Programming; Computer Books: General; Computer Science; Programming - General; Automatentheorie; Computers / Programming / Software Development; Formale Methoden; Komplexität; Softwareentwicklung; Verifikation; automata theory; complexity; formal methods; verification
First sentence: The first computing or calculating machines were invented by mathematicians i.e., Pascal and Leibnitz.