Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de
Gesponsert Verification of Temporal Properties in Embedded Software, Fachbücher von Djones Vinicius Lettnin
69.90 EUR
Preis aktualisiert am: 22-04-2026 21:00:06
69.90 EUR
Preis aktualisiert am: 22-04-2026 21:00:06 | 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.
