Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . ... Notes in Computer Science (2757), Band 2757)

Foundational

von Bernhard K. Aichernig

Taschenbuch

EAN=ISBN-13: 978-3-540-20527-2

ISBN-10: 3-540-20527-6

Springer · 2004