Bernhard K. Aichernig (EDT), Tom Maibaum (EDT) 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

Price for Eshop: 1267 Kč (€ 50.7)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: Springer Berlin Heidelberg

Date: 2011

Formats: PDF
How do I buy e-book?

EAN/ISBN13: 978-3-540-40007-3

ISBN10: 3-540-40007-9

Ask question

You can ask us about this book and we'll send an answer to your e-mail.

Bernhard K. Aichernig (EDT), Tom Maibaum (EDT) Formal Methods at the Crossroads. From Panacea to Foundational Support

E-Book information

Related links

Ask question