Integrated Formal | Kaicus Deutschland

Integrated Formal Methods

104.34 EUR 2% Off 106.99 EUR

Die Proceedings der sechsten IFM‑Konferenz in Oxford bündeln innovative Ansätze zur Integration formaler Methoden, beleuchten neue Modellierungswerkzeuge und zeigen deren Einsatz bei der Analyse von Echtzeit- und sicherheitskritischen Systemen.

Marke: Jim Davies
ISBN: 3540732098
MPN: biography
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
106.99 EUR 106.99 EUR
07-06-2026 03:47:16