Top 529 torres vedras portugal PDF Book Page 23

book image

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

Tom Maibaum (auth.), Bernhard K. Aichernig, Tom Maibaum (eds.)
·468 Pages
·2003
·3.453 MB

1
…
1920212223
We use cookies

We use cookies to ensure you get the best browsing experience on our website. By clicking "Accept Cookies", you agree that we can store cookies on your device in accordance with our Terms and Privacy.