Formal methods for discrete-time dynamical systems:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Belta, Calin (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Cham Springer 2017
Schriftenreihe:Studies in Systems, Decision and Control 89
Schlagworte:
Online-Zugang:BTU01
FAB01
FAW01
FHA01
FHI01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
TUM01
UBY01
Volltext
Beschreibung:1 Online-Ressource (xviii, 284 Seiten) Illustrationen
ISBN:9783319507637
ISSN:2198-4182
DOI:10.1007/978-3-319-50763-7