E Brinksma
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Lecture Notes in Computer Science E Brinksma 2002 edition

Name: Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Lecture Notes in Computer Science
Price: 107.49 USD
Availability: OutOfStock
Author: E Brinksma

Precio

$ 107,49

sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 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

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Lecture Notes in Computer Science

E Brinksma

2002 edition

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. In addition, the CAV program contained 11 tool presentations selected from 16 submissions.

362 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	19 de julio de 2002
ISBN13	9783540439974
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	362
Dimensiones	155 × 233 × 33 mm · 911 g
Lengua	Alemán
Editor	Brinksma, Ed
Editor	Larsen, Kim G.