Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Program Verification
Boolean functions
2
Bounded verifications
2
Computer software
2
Data flow analysis
2
Dataflow analysis
2
Empirical evaluations
2
Formal logic
2
Java programming language
2
Java-like programs
2
Java-like programs verification
2
Levels of abstraction
2
Propositional variables
2
SAT-based
2
SAT-based verification
2
Worst-case complexity
2
ARTIFICIAL INTELLIGENCE
1
B Method
1
Ciencias Informáticas
1
Estados esenciales
1
Explosión del espacio de estados
1
Intelligent agents
1
MTBDD
1
Model checking
1
Model checking probabilista
1
Métodos formales
1
Object orientation
1
PRISM
1
Software
1
-
1por Zandarin, Nicolás H.
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2
-
3
-
4