Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
54.99 EUR53.49 EUR3% Off
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.