Formal Methods at the Crossroads. From Panacea to Foundational Support / Lecture Notes in Computer Science Bd.2757 (PDF)
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
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods at the Crossroads. From Panacea to Foundational Support / Lecture Notes in Computer Science Bd.2757 (PDF)“
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.
The volume starts with a special paper by Tom Maibaum recollecting Armando Haeberer's life and work. The second part presents work done by members of UNU/IIST as well as a paper on the history of the institute. The subsequent topical sections present key contributions by leading researchers and thus assess the state of the art in software engineering and its engineering and scientific principles, from models to software, real-time systems, and verification. All in all, the book is a unique survey of the power and potential of formal methods in software engineering.
The volume starts with a special paper by Tom Maibaum recollecting Armando Haeberer's life and work. The second part presents work done by members of UNU/IIST as well as a paper on the history of the institute. The subsequent topical sections present key contributions by leading researchers and thus assess the state of the art in software engineering and its engineering and scientific principles, from models to software, real-time systems, and verification. All in all, the book is a unique survey of the power and potential of formal methods in software engineering.
Bibliographische Angaben
- 2011, 2003, 462 Seiten, Englisch
- Herausgegeben: Bernhard K. Aichernig, Tom Maibaum
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540400079
- ISBN-13: 9783540400073
- Erscheinungsdatum: 29.03.2011
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 4.56 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Methods at the Crossroads. From Panacea to Foundational Support / Lecture Notes in Computer Science Bd.2757"
0 Gebrauchte Artikel zu „Formal Methods at the Crossroads. From Panacea to Foundational Support / Lecture Notes in Computer Science Bd.2757“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods at the Crossroads. From Panacea to Foundational Support / Lecture Notes in Computer Science Bd.2757".
Kommentar verfassen