Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Details

Autor(en) / Beteiligte
Titel
Verification and control of hybrid systems : a symbolic approach
Ort / Verlag
Berlin : Springer
Erscheinungsjahr
2009
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Teilw. als Printed-on-demand-Ausgabe mit neuerem Erscheinungsjahr
Sprache
Englisch
Identifikatoren
ISBN: 9781441902238
OCLC-Nummer: 845482128, 845482128
Titel-ID: 990013578580106463
Format
XV, 202 S. : graph. Darst.
Systemstelle
TWG, TVG

Lade weitere Informationen...