Erschienen: 24.04.1996 Abbildung von Alur / Henzinger / Sontag | Hybrid Systems III | 1996 | Verification and Control | 1066

Alur / Henzinger / Sontag

Hybrid Systems III

Verification and Control

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

112,34 €

inkl. Mwst.

1996. Buch. IX, 619 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-61155-4

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

Gewicht: 1940 g

In englischer Sprache

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

Produktbeschreibung

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.
A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.

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