Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

53.49 EUR

Ein kompakter Leitfaden aus der SEFM‑Konferenz 2015, der fortschrittliche Techniken des Software Engineerings mit formalen Methoden verbindet; bietet theoretische Grundlagen, praxisnahe Beispiele und kritische Diskussionen zur Zuverlässigkeit moderner Systeme.

Teilen: