Este sitio web utiliza cookies para mejorar la experiencia del usuario y asegurar su funcionamiento con eficacia.
Al utilizarlo usted acepta el uso de cookies.
Carrito de compra
Su pedido cuenta con 0 productos
eBook
Formal Methods: Foundations And Applications - ENG
19th Brazilian Symposium, Sbmf 2016, Natal, Brazil, November 23-25, 2016, Proceedings
$1,100.00
| ISBN: | 9783319498157 |
|---|---|
| Formato: | ePub |
| Idioma: | Inglés |
| Editorial: | Springer Nature |
| Tema: | Computadoras |
| Subtema: | Ingeniería y desarrollo de software general |
| Año de publicación: | 2016-11-12 |
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
eBooks
Libros electrónicos
eBook
eBook
eBook
eBook
eBook
eBook
eBook
eBook
eBook
eBook