

Formal Methods at the Crossroads. From Panacea to Foundational Support
- Undertitel
- 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
- Redaktör
- Tom Maibaum, Bernhard K. Aichernig
- ISBN
- 9783540400073
- Språk
- Engelska
- Utgivningsdatum
- 2011-03-29
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
