Integrated Formal | Kaicus Deutschland

Integrated Formal Methods

Ein kompakter Sammelband aus der 13. IFM-Konferenz in Turin, der aktuelle Forschungsergebnisse zu formalen Methoden präsentiert und praktische Anwendungen für Softwareentwicklung demonstriert.

Marke: Nadia Polikarpova
ISBN: 3319668447
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen