Erschienen: 10.10.2006 Abbildung von Graf / Zhang | Automated Technology for Verification and Analysis | 2006

Graf / Zhang

Automated Technology for Verification and Analysis

4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

106,99 €

inkl. Mwst.

2006. Buch. xiv, 546 S. Bibliographien. Softcover

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

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

Gewicht: 1710 g

In englischer Sprache

Produktbeschreibung

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.

The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

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