Name: Formal Methods. Foundations and Applications : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings (en Inglés)
Price: 196566.00 COP
Availability: InStock
Author: Lucas Lima;Vince Molnár
ISBN: 9783031224775

portada Formal Methods. Foundations and Applications : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings (en Inglés)

Formal Methods. Foundations and Applications : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Lucas Lima;Vince Molnár

Año

2022

Idioma

Inglés

N° páginas

164

Encuadernación

Tapa Blanda

Dimensiones

23.40 x 15.60 x 0.80 cm

ISBN13

9783031224775

Formal Methods. Foundations and Applications : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings (en Inglés)

Lucas Lima;Vince Molnár (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 15 a 20 días háb.

$ 357.393$ 196.566

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 50 unidades

$ 196.566

¡Envío Gratis! Llega entre el 28 Ago y el 07 Sep a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formal Methods. Foundations and Applications : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022.

The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction

of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.