Conte aos seus amigos sobre este item:
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
Kim G Larsen
Preço
SFr. 44,99
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 3 - 9 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
Kim G Larsen
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 | German |
| Editor | Larsen, Kim G. |
| Editor | Niebert, Peter |
