Nir Piterman
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Lect Nir Piterman 2013 edition

Name: Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Lect
Price: 54.99 USD
Availability: OutOfStock
Author: Nir Piterman

Precio

$ 54,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jul. - 5 de ago.

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

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Lect

Nir Piterman

2013 edition

This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. runtime verification and model checking; timed automata; explicit-state model checking; Büchi automata;

650 pages, 137 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	20 de febrero de 2013
ISBN13	9783642367410
Editores	Springer-Verlag Berlin and Heidelberg Gm
Género	Aspects (Academic) > Science / Technology Aspects
Páginas	646
Dimensiones	155 × 235 × 34 mm · 925 g
Lengua	Francés
Editor	Piterman, Nir
Editor	Smolka, Scott