Computer aided verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings /

Código QR

Computer aided verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings /

Detalles Bibliográficos
Formato:	Libro
Lenguaje:	English
Publicado:	c2009.
Acceso en línea:	Ver documento en línea

Internet

Ver documento en línea

Sistema de Bibliotecas de la Universidad de Costa Rica

Detalle de Existencias desde Sistema de Bibliotecas de la Universidad de Costa Rica
Copia	Disponible