Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (International Conference, Cav '95, Liege, Belguim, July 3-5, 1995 - Proceedings) - Lecture Notes in Computer Science

G Goos

Precio

NZD 114,92

Pedido desde almacén remoto

Entrega prevista 27 de may. - 6 de jun.

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

Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (International Conference, Cav '95, Liege, Belguim, July 3-5, 1995 - Proceedings) - Lecture Notes in Computer Science

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.

456 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	21 de junio de 1995
ISBN13	9783540600459
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	456
Dimensiones	156 × 234 × 23 mm · 648 g
Editor	Wolper, Pierre

Mostrar todo

Mas por G Goos

Ver todo de G Goos ( Ej. Paperback Book )