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.