Formal Methods at the Crossroads. From Panacea to Foundational Support formatIsbn:Softcover - 9783540205272 wurde in weniger als acht

wurde in weniger als acht Monaten ins

anstatt per Katalog unter Zuhilfenahme von elektronischen Medien Waren auszuwählen und zu bestellen

Baustellenverordnung

wie das Auslaufen der [¿]

gewonnen hat

Formal Methods at the Crossroads. From Panacea to Foundational Support formatIsbn:Softcover - 9783540205272 wurde in weniger als achtThis volume records the 10th Anniversary Colloquium of UNU IIST, the Int nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 1821, 2002. Armando Haeberer, then Chairman of the board of UNU IIST, conceived the idea of an international meeting in ce brationoftheinstitutes10thanniversary. HewasworkinginLisbonatthistime andheproposedtoholdthemeetingthere,notleastbecausethePortugueseg ernment had been one of