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)
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.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Formal Methods: Foundations and Applications, Fachbücher von Jim Woodcock, Marcel Vinícius Medeiros Oliveira
Galaxus.de
03-08-2026 08:25:03
Medimops DE 
SpringerLink DE 
