Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings (International Conference, Cav '93, Elounda, Greece, June 28-july 1, 1993 - Proceedings) - Lecture Notes in Computer Science - Costas Courcoubetis - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540569220 - 16 de junio de 1993
En caso de que portada y título no coincidan, el título será el correcto

Costas Courcoubetis
Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings (International Conference, Cav '93, Elounda, Greece, June 28-july 1, 1993 - Proceedings) - Lecture Notes in Computer Science

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

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

This volume contains the proceedings of the 5th Conference on Computer Aided Verification, held in Crete in June 1993. This forum brought together researchers interested in the development and use of methods, tools and theories for the computer aided verification of concurrent systems.

510 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 16 de junio de 1993
ISBN13 9783540569220
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 510
Dimensiones 155 × 233 × 26 mm   ·   725 g
Lengua Alemán  
Editor Courcoubetis, Costas

Mere med samme udgiver

Ver todo de Costas Courcoubetis ( Ej. Paperback Book )