Desarrollo de un banco que permite el manejo de soluciones y experiencias en la verificación formal
Autor:0 Editorial:Tesis Universidad Nueva Esparta Materia:Generalidades Publicado:1995-06-01 Número de edición:0 Número de páginas:0 Tamaño:28cm. Encuadernación:Libro en otro formato Soporte:Impreso Idioma:Español