Name: Formal Methods: Foundations and Applications: 26th Brazilian Symposium, Sbmf 2023, Manaus, Brazil, December 4-8, 2023, Proceedings (en Inglés)
Price: 72440.00 CLP
Availability: InStock
Author: Barbosa, Haniel ; Zohar, Yoni
ISBN: 9783031493416

portada Formal Methods: Foundations and Applications: 26th Brazilian Symposium, Sbmf 2023, Manaus, Brazil, December 4-8, 2023, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Barbosa, Haniel ; Zohar, Yoni

Idioma

Inglés

N° páginas

153

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.0 cm

Peso

0.25 kg.

ISBN13

9783031493416

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: 26th Brazilian Symposium, Sbmf 2023, Manaus, Brazil, December 4-8, 2023, Proceedings (en Inglés)

Barbosa, Haniel ; Zohar, Yoni (Autor) · Springer · Tapa Blanda

Libro Físico

$ 72.440

$ 131.710

Ahorras: $ 59.270

45% descuento

Envío normal

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

Se enviará desde nuestra bodega entre el Jueves 04 de Julio y el Jueves 11 de Julio.

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

Reseña del libro "Formal Methods: Foundations and Applications: 26th Brazilian Symposium, Sbmf 2023, Manaus, Brazil, December 4-8, 2023, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.