Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures - L - - Libros - Springer International Publishing AG - 9783319340951 - 12 de junio de 2016
En caso de que portada y título no coincidan, el título será el correcto

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures - L 1st ed. 2016 edition

Precio
$ 54,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 1 - 14 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 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.

261 pages, 67 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 12 de junio de 2016
ISBN13 9783319340951
Editores Springer International Publishing AG
Páginas 261
Dimensiones 155 × 235 × 14 mm   ·   4,16 kg
Lengua Alemán  
Editor Bernardo, Marco
Editor De Nicola, Rocco
Editor Hillston, Jane

Mere med samme udgiver