• Produktbild: Engineering Theories of Software Intensive Systems
  • Produktbild: Engineering Theories of Software Intensive Systems
Band 195

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

185,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.07.2005

Abbildungen

X, 404 p.

Herausgeber

Manfred Broy + weitere

Verlag

Springer Netherland

Seitenzahl

404

Maße (L/B/H)

23,3/15,5/2,3 cm

Gewicht

622 g

Auflage

2005 edition

Sprache

Englisch

ISBN

978-1-4020-3531-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.07.2005

Abbildungen

X, 404 p.

Herausgeber

Verlag

Springer Netherland

Seitenzahl

404

Maße (L/B/H)

23,3/15,5/2,3 cm

Gewicht

622 g

Auflage

2005 edition

Sprache

Englisch

ISBN

978-1-4020-3531-9

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Engineering Theories of Software Intensive Systems
  • Produktbild: Engineering Theories of Software Intensive Systems
  • Architectures, Design and Interfaces.- Incremental Software Construction with Refinement Diagrams.- Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures.- Interface-Based Design.- The Dependent Delegate Dilemma.- System and Program Verification, Model Checking and Theorem Proving.- Formalizing Counterexample-Driven Refinement with Weakest Preconditions.- A Mechanically Checked Proof of a Comparator Sort Algorithm.- Keys in Formal Verification.- On the Utility of Canonical Abstraction.- Process Algebras and Experimental Calculi.- Process Algebra: A Unifying Approach.- Computation Orchestration.- A Tree Semantics of an Orchestration Language.- Security, System Development and Special Aspects.- Model Driven Security.- Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction.