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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540231677 - 20 de septiembre de 2004
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de septiembre de 2004
ISBN13 9783540231677
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 402
Dimensiones 155 × 235 × 21 mm   ·   576 g
Lengua Alemán  
Editor Lakhnech, Yassine
Editor Yovine, Sergio

Mere med samme udgiver

Ver todo de Yassine Lakhnech ( Ej. Paperback Book )