Orna Grumberg
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding Orna Grumberg 2007 edition

Name: Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding
Price: 122.99 USD
Availability: OutOfStock
Author: Orna Grumberg

Precio

$ 122,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 7 - 24 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding

Orna Grumberg

2007 edition

Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.

740 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	9 de marzo de 2007
ISBN13	9783540712084
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	740
Dimensiones	152 × 229 × 38 mm · 1,05 kg
Lengua	Francés
Editor	Grumberg, Orna
Editor	Huth, Michael