Registro:
| Documento: | Programa de la asignatura |
| Idioma: | Español |
| Formato: | PDF |
| Nombre de la asignatura: | Verificación Funcional de Sistemas Digitales Basada en Aserciones (Assertion Based Verification) (2010) |
| Docente/s a cargo: | Todorovich, Elías |
| Departamento: | Departamento de Computación |
| Resolución de Aprobación: | 2866 |
| Año de Resolución de Aprobación: | 2011 |
| Duración: | cuatrimestral
|
| Momento de dictado: | segundo
|
| Código y nombre de asignatura en Guaraní: | Verificación Funciónal de Sistemas Digitales Basada en Aserciones (Assertion Based Verification) |
| Handle: |
http://hdl.handle.net/20.500.12110/programa_nCOM201008 |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/programa/programa_nCOM201008.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/programa/document/programa_nCOM201008 |
| Ubicación: | COM 2010 08 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Programa de la asignatura : Verificación Funcional de Sistemas Digitales Basada en Aserciones (Assertion Based Verification) (2010). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación. Recuperado de http://hdl.handle.net/20.500.12110/programa_nCOM201008 |
Citación sugerida:
Programa de la asignatura : Verificación Funcional de Sistemas Digitales Basada en Aserciones (Assertion Based Verification) (2010). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación. Recuperado de http://hdl.handle.net/20.500.12110/programa_nCOM201008
Estadísticas:
Descargas totales desde :
Descargas mensuales
https://bibliotecadigital.exactas.uba.ar/download/programa/programa_nCOM201008.pdf
