Noch Fragen? 0800 / 33 82 637

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

Produktform: E-Buch Text Elektronisches Buch in proprietärem


Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-540-40007-3 / 978-3540400073 / 9783540400073

Verlag: Springer Berlin

Erscheinungsdatum: 29.03.2011

Seiten: 462

Herausgegeben von Tom Maibaum, Bernhard K. Aichernig

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück