Produktnummer:
185dc88b046f2643a9bd213aa39f38d6a6
Themengebiete: | Computer Digital Control Technology Digitale Steuerungstechnologie Formal Methods Formale Methoden Hybrid Systems Hybride Systeme System Systems Control automata |
---|---|
Veröffentlichungsdatum: | 24.04.1996 |
EAN: | 9783540611554 |
Sprache: | Englisch |
Seitenzahl: | 619 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Alur, Rajeev Henzinger, Thomas A. Sontag, Eduardo D. |
Verlag: | Springer Berlin |
Untertitel: | Verification and Control |
Produktinformationen "Hybrid Systems III"
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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen