Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de
Gesponsert Mechanical Verification of Parameterized Real-Time Systems, Fachbücher von Thomas Göthel
89.90 EUR
Preis aktualisiert am: 23-04-2026 14:07:56
89.90 EUR
Preis aktualisiert am: 23-04-2026 14:07:56 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Sudwestdeutscher Verlag Fur Hochschulschriften AG
Die Sudwestdeutsche Verlag Fur Hochschulschriften AG ist ein Verlag, der sich auf die Veröffentlichung von wissenschaftlichen Schriften spezialisiert hat. Er wurde im Jahr 1967 gegründet und befindet sich seitdem in Familienbesitz. Die Verlagsausrichtung liegt auf den Fächern Jura, Wirtschaftswissenschaften, Informatik, Medizin und Psychologie.
Die Sudwestdeutsche Verlag Fur Hochschulschriften AG ist ein Verlag, der sich auf die Veröffentlichung von wissenschaftlichen Schriften spezialisiert hat. Er wurde im Jahr 1967 gegründet und befindet sich seitdem in Familienbesitz. Die Verlagsausrichtung liegt auf den Fächern Jura, Wirtschaftswissenschaften, Informatik, Medizin und Psychologie.
