Erschienen: 08.04.1998 Abbildung von Didier | B'98: Recent Advances in the Development and Use of the B Method | 1998 | 1393

Didier

B'98: Recent Advances in the Development and Use of the B Method

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1998. Buch. vIII, 320 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-64405-7

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

Gewicht: 1020 g

In englischer Sprache

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 1393

Produktbeschreibung

This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.
The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.

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 ...