Formal Methods at the Crossroads: From Panacea to Foundation 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

by ,

Write The First Customer Review

This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity, held in Lisbon, Portugal, March 18-21, 2002. Armando Haeberer, then Chairman of the board of UNU/IIST, conceived the idea of an international meeting in ce- brationoftheinstitute's10thanniversary. HewasworkinginLisbonatthistime andheproposedtoholdthemeetingthere, notleastbecausethePortugueseg- ernment had been one of the major sponsors of the institute, right from the very beginning. ...

Formal Methods at the Crossroads: From Panacea to Foundation 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 2003, Springer, Berlin, Germany

ISBN-13: 9783540205272

Trade paperback

Select