Especificação do tipo intervalar parametrizado em CASL
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
CASL
-
Construtor intervalar
-
Estruturas Algébricas
-
Igualdade Local
-
Matemática Intervalar
-
Matemática intervalar
-
Parametrização
-
Sistemas algébricos
-
Teoria Local de Igualdade
-
Tipo de dados paramétricos
-
especificação algébrica
Identidade
identificador BrCris
-
72fe4cdef0521871690e542b2e7a78dc