ISBN: 9783838134604 - mechanical verification of parameterized real-time systems: a formal framework and its application to a real-time operating system scheduler (1 Ergebnisse)
Sprache: Englisch
Verlag: Südwestdeutscher Verlag für Hochschulschriften AG Co. KG, 2015
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 75,15
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Mechanical Verification of Parameterized Real-Time Systems | A Formal Framework and its Application to a Real-Time Operating System Scheduler | Thomas Göthel | Taschenbuch | Paperback | 240 S. | Englisch | 2015 | Südwestdeutscher Verlag für Hochschulschriften AG Co. KG | EAN 9783838134604 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.…
