Formal Methods and the Certification of Critical Systems
2020
Cambridge University Press (Verlag)
978-0-521-49534-9 (ISBN)
Cambridge University Press (Verlag)
978-0-521-49534-9 (ISBN)
- Titel nicht im Sortiment
- Artikel merken
| Erscheint lt. Verlag | 1.6.2020 |
|---|---|
| Verlagsort | Cambridge |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Informatik ► Weitere Themen ► Zertifizierung | |
| ISBN-10 | 0-521-49534-2 / 0521495342 |
| ISBN-13 | 978-0-521-49534-9 / 9780521495349 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Zusammenarbeit systematisieren und relevante Ergebnisse erzielen
Buch (2023)
Hanser, Carl (Verlag)
CHF 83,95
