Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Englisch
82,10 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
Kategorien:
Beschreibung
A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.
A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.
Über den Autor
Rajeev Alur is Zisman Family Professor of Computer and Information Science and Director of the Embedded Systems Masters program at the University of Pennsylvania.
Inhaltsverzeichnis
Preface xi
1 Introduction 1
2 Synchronous Model 13
3 Safety Requirements 65
4 Asynchronous Model 125
5 Liveness Requirements 181
6 Dynamical Systems 231
7 Timed Model 289
8 Real-Time Scheduling 339
9 Hybrid Systems 379
Bibliography 431
Index 439
1 Introduction 1
2 Synchronous Model 13
3 Safety Requirements 65
4 Asynchronous Model 125
5 Liveness Requirements 181
6 Dynamical Systems 231
7 Timed Model 289
8 Real-Time Scheduling 339
9 Hybrid Systems 379
Bibliography 431
Index 439
Details
Erscheinungsjahr: | 2023 |
---|---|
Genre: | Importe, Informatik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Inhalt: | Einband - flex.(Paperback) |
ISBN-13: | 9780262548922 |
ISBN-10: | 0262548925 |
Sprache: | Englisch |
Einband: | Kartoniert / Broschiert |
Autor: | Alur, Rajeev |
Hersteller: | MIT Press |
Verantwortliche Person für die EU: | Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de |
Maße: | 229 x 178 x 25 mm |
Von/Mit: | Rajeev Alur |
Erscheinungsdatum: | 15.08.2023 |
Gewicht: | 0,774 kg |
Über den Autor
Rajeev Alur is Zisman Family Professor of Computer and Information Science and Director of the Embedded Systems Masters program at the University of Pennsylvania.
Inhaltsverzeichnis
Preface xi
1 Introduction 1
2 Synchronous Model 13
3 Safety Requirements 65
4 Asynchronous Model 125
5 Liveness Requirements 181
6 Dynamical Systems 231
7 Timed Model 289
8 Real-Time Scheduling 339
9 Hybrid Systems 379
Bibliography 431
Index 439
1 Introduction 1
2 Synchronous Model 13
3 Safety Requirements 65
4 Asynchronous Model 125
5 Liveness Requirements 181
6 Dynamical Systems 231
7 Timed Model 289
8 Real-Time Scheduling 339
9 Hybrid Systems 379
Bibliography 431
Index 439
Details
Erscheinungsjahr: | 2023 |
---|---|
Genre: | Importe, Informatik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Inhalt: | Einband - flex.(Paperback) |
ISBN-13: | 9780262548922 |
ISBN-10: | 0262548925 |
Sprache: | Englisch |
Einband: | Kartoniert / Broschiert |
Autor: | Alur, Rajeev |
Hersteller: | MIT Press |
Verantwortliche Person für die EU: | Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de |
Maße: | 229 x 178 x 25 mm |
Von/Mit: | Rajeev Alur |
Erscheinungsdatum: | 15.08.2023 |
Gewicht: | 0,774 kg |
Sicherheitshinweis