Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254

Conoce las contribuciones más recientes de la comunidad de métodos formales presentadas en el 21.º Simposio Brasileño, con estudios sobre verificación formal, modelado y algoritmos eficientes para sistemas críticos.

Marca: Springer
ISBN: 3030030431
MPN: 34275524
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 9783030030438
Páginas 271