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.
Java programming language
18
Computer software
14
Static analysis
10
Model checking
6
Program translators
6
Propositional variables
6
Alloy
4
Automatic programming
4
Bounded verifications
4
Code analysis
4
Compile time
4
Data structures
4
DynAlloy
4
Dynamic memory
4
Java-like programs
4
KodKod
4
Linked data structures
4
Memory management
4
Memory organizations
4
Memory usage
4
Program variables
4
Propositional formulas
4
Real time systems
4
Real-time specification for javas
4
SAT solvers
4
SAT-based bounded verification
4
SAT-based code analysis
4
Semi-automatics
4
Sequential programs
4
Time series analysis
4
-
1por Pandolfo, PabloMaterias: “...Java programming...”
Publicado 2015
Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Learning Object -
2
-
3Materias: “...Java programming language...”
CHAP -
4Publicado 2010Materias: “...Java programming language...”
-
5Materias: “...Java programming language...”
CONF -
6Materias: “...Java programming language...”
-
7Publicado 2014Materias: “...Java program...”
-
8Materias: “...Java program...”
JOUR -
9Materias: “...Java programming language...”
SER -
10por Garbervetsky, Diego, Braberman, Víctor Adrián, Rouaux, Martín, Taboada, Alejandro DaríoMaterias: “...Java programming language...”
Publicado 2009
-
11Materias: “...Java programming language...”
-
12Materias: “...Java programming language...”
JOUR -
13Materias: “...Java programming language...”
CONF -
14por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Java programming language...”
Publicado 2013
-
15Materias: “...Java programming language...”
JOUR -
16por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Java programming language...”
Publicado 2010
-
17Materias: “...Java programming language...”
CONF -
18por Garbervetsky, Diego, Braberman, Víctor Adrián, Rouaux, Martín, Taboada, Alejandro DaríoMaterias: “...Java programming language...”
Publicado 2011
-
19Materias: “...Java programming language...”
JOUR