Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings - Lecture Notes in Computer Science - - Libros - Springer Nature Switzerland AG - 9783030576271 - 17 de agosto de 2020
En caso de que portada y título no coincidan, el título será el correcto

Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings - Lecture Notes in Computer Science 1st ed. 2020 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 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 constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions.

301 pages, 55 Illustrations, color; 602 Illustrations, black and white; X, 301 p. 657 illus., 55 ill

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de agosto de 2020
ISBN13 9783030576271
Editores Springer Nature Switzerland AG
Páginas 301
Dimensiones 150 × 220 × 10 mm   ·   480 g
Lengua Alemán  
Editor Bertrand, Nathalie
Editor Jansen, Nils

Mere med samme udgiver