Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

53.49 EUR

Die Konferenzband von IFM 2012 in Pisa präsentiert neueste Theorien zu formalen Methoden, kombiniert mit Fallstudien aus Industrie, die zeigen, wie mathematische Modelle Softwarequalität nachhaltig steigern können.

Teilen: