Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Gren - Yassine Lakhnech - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540231677 - 20 de setembro de 2004
Caso a capa e o título não sejam correspondentes, considere o título como correto

Yassine Lakhnech
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Gren 2004 edition

Preço
R$ 296,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 7 - 13 de out
Receba avisos sobre novos lançamentos de Yassine Lakhnech

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 topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail- safe fault tolerance, real-time scheduling, satisfiability checking, and even event recording automata.

402 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 20 de setembro de 2004
ISBN13 9783540231677
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 402
Dimensões 155 × 235 × 21 mm   ·   576 g
Idioma Alemão  
Editor Lakhnech, Yassine
Editor Yovine, Sergio

Mais da mesma editora

Ver tudo de Yassine Lakhnech