Integrated Formal | Kaicus Deutschland

Integrated Formal Methods

85.04 EUR 1% Off 85.59 EUR

Ein kompakter Band aus der IFM‑Konferenz 2016 in Reykjavík, der praxisnahe Beiträge zu formalen Verifikationswerkzeugen und deren Anwendung in sicherheitskritischen Softwaresystemen zusammenführt.

Marke: Erika Ábrahám
ISBN: 9783319336923
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
85.59 EUR 85.59 EUR
06-06-2026 12:59:20