KI-Beratung Beta

  • Produktbild: Specification Case Studies in RAISE
  • Produktbild: Specification Case Studies in RAISE
- 11%

Specification Case Studies in RAISE

11% sparen

96,99 € UVP 109,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.02.2002

Abbildungen

XV, 405 p.

Herausgeber

Hung Dang Van + weitere

Verlag

Springer London

Seitenzahl

405

Maße (L/B/H)

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

Gewicht

634 g

Auflage

2002

Sprache

Englisch

ISBN

978-1-85233-359-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.02.2002

Abbildungen

XV, 405 p.

Herausgeber

Verlag

Springer London

Seitenzahl

405

Maße (L/B/H)

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

Gewicht

634 g

Auflage

2002

Sprache

Englisch

ISBN

978-1-85233-359-1

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

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: Specification Case Studies in RAISE
  • Produktbild: Specification Case Studies in RAISE

  • Foreword.-



    Thematic Introduction.-



    Introduction to RAISE.-



    A University Library Management System.-



    Development of a Distributed Telephone Switch.-



    Developing a National Financial Information System.-



    Multi-Lingual Document Processing.-



    Formalising Production Processes.-



    Model-Based Travel Planning.-



    Proving Safety of Authentication Protocols.-



    Formalisation of Realm-Based Spatial Data Types.-



    Object-Oriented Design Patterns.-



    Automated Result Verification with AWK.-



    Fail-Stop Components by Pattern Matching.-



    An Infrastructure for Software Reuse.-



    About the Editors.-



    About the Web Site.-



    References.