Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

~~59.00 EUR~~ 53.49 EUR 9% Off

In dieser Ausgabe der überarbeiteten Arbeiten der 12. FACS-Konferenz werden formale Techniken zur Modellierung, Analyse und Verifikation von Softwarekomponenten vorgestellt, ergänzt durch aktuelle Fallstudien aus Niterói und internationalen Projekten.