Name: Formal Methods Teaching: 5th International Workshop, Fmtea 2023, Lübeck, Germany, March 6, 2023, Proceedings (en Inglés)
Price: 58870.00 CLP
Availability: InStock
Author: DuBois, Catherine ; San Pietro, Pierluigi
ISBN: 9783031275333

portada Formal Methods Teaching: 5th International Workshop, Fmtea 2023, Lübeck, Germany, March 6, 2023, Proceedings (en Inglés)

Formal Methods Teaching: 5th International Workshop, Fmtea 2023, Lübeck, Germany, March 6, 2023, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

DuBois, Catherine ; San Pietro, Pierluigi

Idioma

Inglés

N° páginas

105

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 0.6 cm

Peso

0.17 kg.

ISBN13

9783031275333

Categorías

Lógica matemática
Reconocimiento del habla
Procesamiento del sonido

Formal Methods Teaching: 5th International Workshop, Fmtea 2023, Lübeck, Germany, March 6, 2023, Proceedings (en Inglés)

Dubois, Catherine ; San Pietro, Pierluigi (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

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

$ 117.740$ 58.870

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 58.870

Llega entre el 11 Ago y el 18 Ago a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formal Methods Teaching: 5th International Workshop, Fmtea 2023, Lübeck, Germany, March 6, 2023, Proceedings (en Inglés)"

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.