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

Wo zu kaufen (2) Eigenschaften
Gesponsert
Mechanical Verification of Parameterized Real-Time Systems, Fachbücher von Thomas Göthel
Galaxus.de
89.90 EUR
Preis aktualisiert am: 28-09-2026 17:53:40
Siehe Produktangebot
Gesponsert
Mechanical Verification of Parameterized Real-Time Systems
Hugendubel
89.99 EUR
Preis aktualisiert am: 29-09-2026 17:27:38
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)
Aus159.84 EUR 4
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)
Aus149.84 EUR 2
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
Aus79.90 EUR 2
Produkt anzeigen
Mechanical Characterization of Composite Multilayer Thick Tubes
Mechanical Characterization of Composite Multilayer Thick Tubes
Aus59.00 EUR 1
Produkt anzeigen
Menü