Name: Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, (en Inglés)
SKU: 57596094
Price: 160594.00 COP
Availability: InStock
Author: Riesco, Adrian ; Zhang, Min
ISBN: 9783031172434

portada Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, (en Inglés)

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Riesco, Adrian ; Zhang, Min

Idioma

Inglés

N° páginas

440

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x2.4 cm

Peso

0.64 kg.

ISBN13

9783031172434

Categorías

Compiladores e intérpretes
Ciencias de la computación

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, (en Inglés)

Riesco, Adrian ; Zhang, Min (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 22 días háb.

$ 321.188$ 160.594

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 160.594

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

Agregar a lista de deseos

Reseña del libro "Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, (en Inglés)"

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.