Name: Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (en Inglés)
SKU: 57637126
Price: 177.57 USD
Availability: InStock
Author: Schlingloff, Bernd-Holger ; Vogel, Thomas ; Skowron, Andrzej
ISBN: 9783031266508

portada Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (en Inglés)

Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Schlingloff, Bernd-Holger ; Vogel, Thomas ; Skowron, Andrzej

Idioma

Inglés

N° páginas

231

Encuadernación

Tapa Dura

Dimensiones

23.4x15.6x1.4 cm

Peso

0.52 kg.

ISBN13

9783031266508

Categorías

Ciencia y análisis de datos: generalidades
Ingeniería: general
Análisis y captura de datos
Inteligencia artificial

Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (en Inglés)

Schlingloff, Bernd-Holger ; Vogel, Thomas ; Skowron, Andrzej (Autor) · Springer · Tapa Dura

Libro Nuevo Importado

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

$ 295.95$ 177.57

-40%

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

Libro Nuevo

Quedan más de 100 unidades

$ 177.57

Llega entre el 08 Sep y el 21 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (en Inglés)"

This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques.Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.