Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler

Wo zu kaufen (1) Eigenschaften
Gesponsert
Mechanical Verification of Parameterized Real-Time Systems, Fachbücher von Thomas Göthel
Galaxus.de
89.90 EUR
Preis aktualisiert am: 28-06-2026 04:11:01
Siehe Produktangebot

Allgemein

Marke
Sudwestdeutscher Verlag Fur Hochschulschriften AG

Eigenschaften

Ähnliche Produkte

Generalized Continua and Dislocation Theory: Theoretical Concepts, Computational Methods and Experimental Verification (CISM International Centre for Mechanical Sciences, Band 537)
Generalized Continua and Dislocation Theory: Theoretical Concepts, Computational Methods and Experimental Verification (CISM International Centre for Mechanical Sciences, Band 537)
Produkt anzeigen
Generalized Continua and Dislocation Theory: Theoretical Concepts, Computational Methods and Experimental Verification (CISM International Centre for Mechanical Sciences)
Generalized Continua and Dislocation Theory: Theoretical Concepts, Computational Methods and Experimental Verification (CISM International Centre for Mechanical Sciences)
Produkt anzeigen
A New Family of Mixed Finite Elements for Elasticity: A Robust Computational Method for Mechanical Problems
A New Family of Mixed Finite Elements for Elasticity: A Robust Computational Method for Mechanical Problems
Produkt anzeigen
Mechanical Characterization of Composite Multilayer Thick Tubes
Mechanical Characterization of Composite Multilayer Thick Tubes
Produkt anzeigen
Lean Supply Chain and Logistics Management Handbook
Lean Supply Chain and Logistics Management Handbook
Produkt anzeigen
Lean Supply Chain and Logistics Management Handbook
Lean Supply Chain and Logistics Management Handbook
Produkt anzeigen
Menü