Verification and Control of Hybrid Systems: A Symbolic Approach

Control of Hybrid Systems
Wo zu kaufen (4) Eigenschaften
Gesponsert
Verification and Control of Hybrid Systems: A Symbolic Approach
Medimops DE
126.65 EUR
Preis aktualisiert am: 26-10-2026 07:29:03
Siehe Produktangebot
Gesponsert
Verification and Control of Hybrid Systems
Hugendubel
138.99 EUR
Preis aktualisiert am: 27-10-2026 10:21:22
Siehe Produktangebot
Gesponsert
Verification and Control of Hybrid Systems, Fachbücher von Paulo Tabuada
Galaxus.de
139.09 EUR
Preis aktualisiert am: 26-10-2026 22:51:32
Siehe Produktangebot
Gesponsert
Verification and Control of Hybrid Systems
SpringerLink DE
153.50 EUR
Preis aktualisiert am: 28-10-2026 06:37:19
Siehe Produktangebot

Allgemein

Marke
Paulo Tabuada
ISBN
Paulo Tabuada 1441954988

Eigenschaften

Ähnliche Produkte

ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Aus114.98 EUR 4
Produkt anzeigen
A Unified Approach for Timing Verification and Delay Fault Testing
A Unified Approach for Timing Verification and Delay Fault Testing
Aus101.64 EUR 4
Produkt anzeigen
Verifying Calculations
Verifying Calculations - Forty Years On: An Overview of Classical Verification Techniques for FEM Simulations (SpringerBriefs in Applied Sciences and Technology)
Aus53.46 EUR 4
Produkt anzeigen
Low-Power Design and Power-Aware Verification
Low-Power Design and Power-Aware Verification
Aus96.28 EUR 4
Produkt anzeigen
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Aus51.98 EUR 4
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)
Aus49.98 EUR 4
Produkt anzeigen
Menü