Engineering Theories of Software Intensive Systems
Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have t…
Mehr
CHF 203.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Hoare, Tony (Hrsg.) / Harel, David (Hrsg.) / Gruenbauer, Johannes (Hrsg.)
- ISBN: 978-1-4020-3531-9
- EAN: 9781402035319
- Produktnummer: 2192652
- Verlag: Springer Netherlands
- Sprache: Englisch
- Erscheinungsjahr: 2005
- Seitenangabe: 416 S.
- Masse: H23.3 cm x B15.5 cm x D2.2 cm 622 g
- Auflage: 2005
- Abbildungen: Paperback
- Gewicht: 622
50 weitere Werke von Manfred (Hrsg.) Broy:
Bewertungen
Anmelden