Mostrando
1 - 2
Resultados de
2
Para Buscar '
Mauco, M.V.
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Mauco, M.V.
Mostrando
1 - 2
Resultados de
2
Para Buscar '
Mauco, M.V.
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Clausula: A didactic tool to teach first order logic
por
Mauco
,
M.V
.
,
Ferrante, E.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
2
Using a scenario model to derive the functions of a formal specification
por
Mauco
,
M.V
.
,
Riesco, D.
,
George, C.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Arbitrary sets
Clauses satisfiability
Computer aided software engineering
Computer hardware description languages
Computer simulation
Computer software
Computer software maintenance
Didactic tools
First order logic
Formal logic
Formal methods
Formal specification
Free software
Heuristic programming
Information systems
Interactive tool
Interactivity
Language extended lexicon
Learning process
Learning systems
Logic course
Natural language processing systems
RAISE method
Requirements engineering
Resolution method
Resolution methods
Satisfiability
Scenario model
Semantics
Software tool
Cargando...