Formal Methods at the Crossroads. From Panacea to Foundational Support
Subtitle: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software ... Papers (Lecture Notes in Computer Science)
Contributors: Bernhard K. Aichernig (Editor); Tom Maibaum (Editor)
Edition: 1 edition
Publisher: Springer
Published: January 22, 2004
Language: eng
Format: Paperback
Number of pages: 455
ISBN-13: 9783540205272
Subjects: Programming Languages - General; Congresses; Computers; Computers - Languages / Programming; Science/Mathematics; Logic Design; Computers / Programming / Software Development; Programming - Software Development; Software engineering
First sentence: The sudden death of Arrmando in February devastated his many friends and colleagues around the world.