Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings: 9526

Este volumen recopila investigaciones del SBMF 2015 sobre métodos formales aplicados a la ingeniería de software, destacando enfoques matemáticos para el diseño, análisis y verificación de sistemas críticos en entornos reales.

Marca: Márcio Cornélio
MPN: 62 colour illustrations, biography
ISBN: 9783319294728
Patrocinado  Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información
Colección PROGRAMMING AND SOFTWARE ENGINEERING
Edición 1ª Febrero de 2016
Editorial SPRINGER NATURE
Idiomas INGLES
ISBN 9783319294728
Páginas 195