.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods at the Crossroads
N/A
€ 68.78
FREE Delivery in Ireland
Description for Formal Methods at the Crossroads
Paperback. This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003. Series: Lecture Notes in Computer Science. Num Pages: 458 pages, biography. BIC Classification: UMZ. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 19. Weight in Grams: 724.
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. The aim of the meeting, organized by the Board of UNU/IIST, was twofold. First, the institute's research work should be re-assessed and diss- inated. Second, the future role of UNU/IIST's research area, formal methods, should be discussed. Role of Formal Methods. Over at least three ... Read more
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. The aim of the meeting, organized by the Board of UNU/IIST, was twofold. First, the institute's research work should be re-assessed and diss- inated. Second, the future role of UNU/IIST's research area, formal methods, should be discussed. Role of Formal Methods. Over at least three ... Read more
Product Details
Format
Paperback
Publication date
2003
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
458
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
462
Place of Publication
Berlin, Germany
ISBN
9783540205272
SKU
V9783540205272
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods at the Crossroads