Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised ... Notes in Computer Science, Band 5902)
53.49 EUR
Ein Sammelband aus dem 12. brasilianischen Symposium zu formalen Methoden, der theoretische Konzepte mit praxisnahen Fallstudien verknüpft und die Entwicklung robuster Softwaresysteme unterstützt.