Colección de la biblioteca
Base de datos :
article
Búsqueda :
GONZALEZ, R. E. [Autor]
Referencias encontradas :
1
[
refinar
]
Mostrando:
1 .. 1
en el formato [
ISO 690
]
página 1 de 1
1 / 1
selecciona
para imprimir
Torres, D., Cortéz, J. and González, R. E.
Semi-formal specifications and formal verification improving the digital design
:
some statistics
.
J. appl. res. technol
, Apr 2009, vol.7, no.1, p.15-40. ISSN 1665-6423
·
resumen en inglés
|
español
·
texto en inglés
página 1 de 1
Refinar la búsqueda
Base de datos :
article
Formulario avanzado
Buscar por :
Formulario libre
Formulario básico
Buscar
en el campo
1
Todos los indices
Palabras del título
Autor
Materia
Resumen
Año de publicación
2
and
or
and not
Todos los indices
Palabras del título
Autor
Materia
Resumen
Año de publicación
3
and
or
and not
Todos los indices
Palabras del título
Autor
Materia
Resumen
Año de publicación
Search engine:
iAH
powered by
WWWISIS
BIREME/OPS/OMS - Centro Latinoamericano y del Caribe de Información en Ciencias de la Salud