Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings - Theoretical Computer Science and General Issues - Uli Fahrenberg - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642243097 - 12 de setembro de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings - Theoretical Computer Science and General Issues

Uli Fahrenberg

Preço
€ 59,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 24 de set - 3 de out
Adicione à sua lista de desejos do iMusic

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings - Theoretical Computer Science and General Issues

This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011.


364 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 12 de setembro de 2011
ISBN13 9783642243097
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 353
Dimensões 155 × 235 × 20 mm   ·   521 g
Idioma French  
Editor Fahrenberg, Uli
Editor Tripakis, Stavros