Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
23
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal methods
Ciencias Informáticas
21
Semantics
16
Specifications
10
Abstracting
8
Formal Semantics
8
Verification
8
Model checking
7
SOFTWARE ENGINEERING
7
Computational linguistics
6
Computer software
6
Formal specification
6
Program translators
6
Specification languages
5
Bound variables
4
Calculations
4
Classical logic
4
Codes (symbols)
4
Compositional semantics
4
Computer hardware description languages
4
Computer software reusability
4
Flattening operator
4
Full abstraction
4
Game theory
4
Independence friendly logic
4
Métodos formales
4
Regular formulas
4
SAT solvers
4
Signaling
4
Software engineering
4
-
1
-
2
-
3
-
4
-
5
-
6
-
7por Montejano, Germán Antonio, Testa, Oscar, Garcia, Pablo, Bast, Silvia Gabriela, Dieste, Oscar
Publicado 2013Aportado por: SEDICI (UNLP)Objeto de conferencia -
8por Castro, Pablo Francisco, Ponzio, Pablo Daniel, Demasi, Ramiro Adrián, Baum, Gabriel Alfredo
Publicado 2005Aportado por: SEDICI (UNLP)Objeto de conferencia -
9Aportado por: RIDAA - Repositorio Institucional Digital (UNQ)Proyecto de investigación info:eu-repo/semantics/other publishedVersion
-
10por Montejano, Germán Antonio, Uzal, Roberto, Riesco, Daniel Eduardo, Dasso, Aristides, Funes, Ana
Publicado 2002Aportado por: SEDICI (UNLP)Objeto de conferencia -
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20