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

Envío gratis

portada 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

Lima, Lucas ; Molnár, Vince

Idioma

Inglés

N° páginas

143

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 0.9 cm

Peso

0.24 kg.

ISBN13

9783031224751

Categorías

Programación informática - desarrollo de software
Sistemas basados en el conocimiento
Reconocimiento del habla
Procesamiento del sonido

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

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

Libro Físico

$ 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 Lunes 08 de Julio y el Martes 16 de Julio.

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: 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.