Formal methods at the crossroads
Subtitle: from panacea to foundational support ; 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18 - 20, 2002 ; revised papers
By: Bernhard K. Aichernig ... (ed.)
Contributors: International Institute for Software Technology
Series: Lecture notes in computer science -- 2757; Lecture notes in computer science -- 2757
Publisher: Springer
Published: 2003
Place of publication: Berlin; Heidelberg
Language: eng
Format: [Elektronische Ressource]
ISBN-13: 9783540400073
Subjects: Formale Methode; Softwareentwicklung
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA