Fast delivery with
Safe payments by
© 2026 Bookis AS
English

Paperback • 2003 • Norwegian Bokmål
By Peder Lobben
0 Ratings • 0.0 of 5
About the book
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, righ...Show more
Book details
ISBN
9783540205272
Publisher
Berlin : Springer
Published year
2003
Language
Norwegian Bokmål
Original title
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
Format
Paperback
Shippping and returns
Shipping
Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.
Returns
Contact the seller after delivery.
Reviews · 0
0 Ratings • 0.0 of 5