Name: Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, Qld, Australia, November 2 (en Inglés)
SKU: 59612778
Price: 194.21 PEN
Availability: InStock
Author: Li, Yi ; Tahar, Sofiène
ISBN: 9789819975839

portada Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, Qld, Australia, November 2 (en Inglés)

Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, Qld, Australia, November 2 (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Li, Yi ; Tahar, Sofiène

Idioma

Inglés

N° páginas

300

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x1.8 cm

Peso

0.47 kg.

ISBN13

9789819975839

Categorías

Compiladores e intérpretes
Ciencias de la computación

Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, Qld, Australia, November 2 (en Inglés)

Li, Yi ; Tahar, Sofiène (Autor) · Springer · Tapa Blanda

Más barato Libro Nuevo Importado

Envío: 14 a 19 días háb.

S/ 485,51S/ 194,21

-60%

Más rápido Libro Nuevo Importado

Envío: 13 a 17 días háb.

S/ 708,90S/ 319,00

-55%

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

Libro Nuevo Más barato

Quedan más de 100 unidades

S/ 194,21

Llega entre el 01 Dic y el 11 Dic a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, Qld, Australia, November 2 (en Inglés)"

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.