Formal Methods at the Crossroads: From Panacea to Foundation Support: 10th Anniversary Colloquium of Unu/Iist the International Institute for Software by

Lecture Notes in Computer Science

Formal Methods at the Crossroads: From Panacea to Foundation Support: 10th Anniversary Colloquium of Unu/Iist the International Institute for Software

453 pages paperback

9 editions

nonfiction computer science design
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

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, co...

Show More

Community Reviews

Loading...

Content Warnings

Loading...