Produktnummer:
182a06992486be4ba2b8b169b62c32c47d
| Themengebiete: | Ada Ada-Programming Dependable Computing Distributed Computing Embedded Systems Formal Methods Java Program Analysis Reliable Systems XML |
|---|---|
| Veröffentlichungsdatum: | 05.06.2002 |
| EAN: | 9783540437840 |
| Sprache: | Englisch |
| Seitenzahl: | 370 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Blieberger, Johann Strohmeier, Alfred |
| Verlag: | Springer Berlin |
| Untertitel: | 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings |
Produktinformationen "Reliable Software Technologies - Ada-Europe 2002"
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002.The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen