Specification Case Studies in RAISE
132.63 CHF
Versandkostenfrei
Lieferzeit: 21 Werktage
- Artikel-Nr.: 10380516
Beschreibung
From the contents:
- 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
- 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
Eigenschaften
| Gewicht: | 622 g |
| Höhe: | 235 |
| Seiten: | 405 |
| Sprachen: | Englisch |
| Autor: | Chris George, Hung Dang Van, Richard Moore, Tomasz Janowski |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Artikel vergleichen
Bestseller Kategorie
Angebote
Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.
Topseller
Topseller
- 56 %
- 56 %
- 55 %
Zuletzt angesehen
© 2021 Nova Online Media Retailing GmbH