Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
Abstracting
1
Automatic programming
1
Based specification
1
Behaviour models
1
Compile time
1
Dynamic memory
1
Embedded systems
1
Finite model
1
Finite-state abstraction
1
Industrial strength
1
Java programming language
1
Java-like programs
1
Level of abstraction
1
Memory management
1
Memory organizations
1
Memory region
1
Memory usage
1
Novel techniques
1
Parametric forms
1
Pre/post conditions
1
Program variables
1
Protocol specifications
1
Real time systems
1
Run-time errors
1
Semi-automatics
1
Specifications
1
Time series analysis
1
-
1
-
2