Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
Java programming language
3
Memory management
3
Abstracting
2
Java-like programs
2
Real time systems
2
Analysis-based approaches
1
Automatic programming
1
Based specification
1
Behaviour models
1
Behaviour validation
1
Boolean functions
1
Bounded verifications
1
Communication
1
Compile time
1
Concise representations
1
Data flow analysis
1
Dataflow analysis
1
Design
1
Dynamic memory
1
Embedded systems
1
Empirical evaluations
1
Execution environments
1
Execution semantics
1
Finite model
1
Finite-state abstraction
1
Formal logic
1
Formal methods
1
Garbage collection
1
Industrial strength
1
-
1
-
2
-
3
-
4
-
5
-
6