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
22-04-2026 09:19:06