Name: Formal Methods: Foundations and Applications: 24th Brazilian Symposium, Sbmf 2021, Virtual Event, December 6-10, 2021, Proceedings (en Inglés)
Price: 1521.01 MXN
Availability: InStock
Author: Campos, Sérgio ; Minea, Marius
ISBN: 9783030921361

Envío gratis

portada Formal Methods: Foundations and Applications: 24th Brazilian Symposium, Sbmf 2021, Virtual Event, December 6-10, 2021, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Campos, Sérgio ; Minea, Marius

Idioma

Inglés

N° páginas

141

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 0.8 cm

Peso

0.22 kg.

ISBN13

9783030921361

Categorías

Programación informática - desarrollo de software

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, Sbmf 2021, Virtual Event, December 6-10, 2021, Proceedings (en Inglés)

Campos, Sérgio ; Minea, Marius (Autor) · Springer · Tapa Blanda

Libro Nuevo

$ 1,521.01

$ 2,535.01

Ahorras: $ 1,014.01

40% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Martes 30 de Julio y el Lunes 12 de Agosto.

Lo recibirás en cualquier lugar de México entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Formal Methods: Foundations and Applications: 24th Brazilian Symposium, Sbmf 2021, Virtual Event, December 6-10, 2021, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail 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