Formal methods at the crossroads
: 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 ; [Festschrift] / Bernhard K. Aichernig ; Tom Maibaum (ed.). - Berlin : Springer, 2003. - XIV, 453 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2757)
ISBN 978-3-540-20527-2 / 3-540-20527-6 kart. : EUR 59.92
Literaturangaben
Quelle: DNB
Formal methods at the crossroads
: 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 / Bernhard K. Aichernig ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2757)
ISBN 978-3-540-40007-3
Lizenzpflichtig
Quelle: DNB
