Erschienen: 31.05.2002 Abbildung von Schwichtenberg / Steinbrüggen | Proof and System-Reliability | 2002

Schwichtenberg / Steinbrüggen

Proof and System-Reliability

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

ca. 101,64 €

inkl. Mwst.

2002. Buch. xii, 415 S. Bibliographien. Softcover

Springer. ISBN 978-1-4020-0608-1

Format (B x L): 15,5 x 23,5 cm

Gewicht: 1320 g

In englischer Sprache

Das Werk ist Teil der Reihe: Nato Science Series II:; 62

Produktbeschreibung

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations.
This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...