Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings - Lecture Notes in Computer Science - - Livros - Springer Nature Switzerland AG - 9783030001506 - 26 de agosto de 2018
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings - Lecture Notes in Computer Science 2018 edition

Preço
元 419,76

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 2 - 10 de dez
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions.

289 pages, 59 Illustrations, black and white; X, 289 p. 59 illus.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 26 de agosto de 2018
ISBN13 9783030001506
Editoras Springer Nature Switzerland AG
Páginas 289
Dimensões 150 × 220 × 10 mm   ·   462 g
Idioma Alemão  
Editor Jansen, David N.
Editor Prabhakar, Pavithra