Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Programming language
4
Abstract data types
3
Algorithms
3
Dynamic frame
3
Machinery
3
Non-circular
3
Non-trivial
3
Structural invariants
3
Theory of dynamics
3
Trees (mathematics)
3
Active field
1
Aliasing
1
Design drivers
1
Eclipse plug-in
1
Equipment testing
1
First-year
1
Key parts
1
Language design
1
Language features
1
Plug-ins
1
School buildings
1
Software verification
1
Students
1
Teaching
1
Teaching tools
1
Undergraduate students
1
Verifiability
1
Verification
1
-
1Materias: “...Language design...”
CONF -
2Materias: “...Programming language...”
Artículo publishedVersion -
3Materias: “...Programming language...”
Artículo publishedVersion -
4Materias: “...Programming language...”
SER