Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers - Lecture Notes in Computer Science - Kim G Larsen - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540216711 - 8 de abril de 2004
Caso a capa e o título não sejam correspondentes, considere o título como correto

Kim G Larsen
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers - Lecture Notes in Computer Science 2004 edition

Preço
R$ 296,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de Kim G Larsen

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

Ainda não avaliado

among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time systems, discrete time systems, timed languages, and real-time operating systems.

281 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 8 de abril de 2004
ISBN13 9783540216711
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 281
Dimensões 155 × 233 × 15 mm   ·   417 g
Idioma Alemão  
Editor Larsen, Kim G.
Editor Niebert, Peter

Mais por Kim G Larsen

Mostrar tudo

Mais da mesma editora

Ver tudo de Kim G Larsen