Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November ...

Sumérgete en el análisis crítico de métodos formales aplicados al diseño de software, con estudios de caso sobre verificación automática y optimización de algoritmos presentados en ICFEM 2018.

Marca: Jing Sun
ISBN: 3030024490
MPN: 34262791
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 Octubre de 2018
Editorial SPRINGER NATURE
Idiomas INGLES
ISBN 9783030024499
Páginas 474