Using Model Checking to Generate Test Cases for Critical Systems
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de
Gesponsert Using Model Checking to Generate Test Cases for Critical Systems, Fachbücher von Wei Ding
49.00 EUR
Preis aktualisiert am: 15-05-2026 03:27:12
49.00 EUR
Preis aktualisiert am: 15-05-2026 03:27:12 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
LAP Lambert Academic Publishing ist ein Verlag, der sich auf wissenschaftliche Publikationen spezialisiert hat. Die Veröffentlichungen werden von Wissenschaftlern aus aller Welt verfasst und richten sich an ein Fachpublikum.
