Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany - Studies in Computational Intelligence - - Libros - Springer International Publishing AG - 9783031266539 - 6 de mayo de 2024
En caso de que portada y título no coincidan, el título será el correcto

Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany - Studies in Computational Intelligence 2023 edition

Precio
$ 168,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

231 pages, 37 Illustrations, color; 29 Illustrations, black and white; XII, 231 p. 66 illus., 37 ill

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 6 de mayo de 2024
ISBN13 9783031266539
Editores Springer International Publishing AG
Páginas 231
Dimensiones 150 × 220 × 10 mm   ·   376 g
Lengua Alemán  
Editor Schlingloff, Bernd-Holger
Editor Skowron, Andrzej
Editor Vogel, Thomas

Mere med samme udgiver