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.
Formal languages
Specifications
8
Computational linguistics
6
Behavioral properties
4
Calculations
4
Computer hardware description languages
4
Property Specification
4
Semantics
4
Software verification
4
Specification languages
4
Specification patterns
4
User interfaces
4
ALL-SAT
3
Automata theory
3
Boolean algebra
3
Boolean functions
3
Computational complexity
3
Conjunctive normal forms
3
Earley parsing
3
Formal logic
3
Multi-stack automata
3
Order of variables
3
Parsing algorithm
3
Propositional satisfiability
3
SAT
3
Acoustics
2
Aspect-oriented programming (AOP)
2
Aspect-oriented software design
2
Behavioral model
2
Behavioral modeling
2
-
1por Braberman, Víctor AdriánMaterias: “...Computer hardware description languages...”
Publicado 2015
-
2Materias: “...Computer hardware description languages...”
JOUR -
3
-
4Materias: “...Formal languages...”
JOUR -
5Publicado 2007Materias: “...Formal languages...”
-
6
-
7
-
8Materias: “...Scenario-based languages...”
CONF -
9Publicado 2007Materias: “...Formal languages...”
-
10Materias: “...Formal languages...”
SER -
11Publicado 2015Materias: “...Computer hardware description languages...”
-
12Materias: “...Computer hardware description languages...”
JOUR -
13Publicado 2014Materias: “...Formal languages...”
-
14Publicado 2014Materias: “...Formal languages...”
-
15
-
16Publicado 2000Materias: “...Formal languages...”
-
17Materias: “...Formal languages...”
SER