open navigation menu
Autores
Documentos
Organizaciones
Eventos
Proyectos
Patentes
Servicios
Inicio
Acerca de
Explorar
Análisis
Reportes
Regresar
Inicio
/
Explore
/
Authors
Mostrando
1
resultados de:
1
Filtros
Filtros aplicados
Palabras Claves: "VDM"
Subtipo de publicación
Article
(1)
Publisher
International Journal of Computer Mathematics
(1)
Área temáticas
Programación informática, programas, datos, seguridad
(1)
Área de conocimiento
Base de datos
(1)
Ciencias de la computación
(1)
Año de Publicación
1990
(1)
Origen
scopus
(1)
Palabras Claves
Formal specification
(1)
SQL
(1)
relational database
(1)
A formal semantics for sql
Article
Abstract:
For well known reasons, it is very desirable and sometimes imperative to give formal description of
Palabras claves:
Formal specification, relational database, SQL, VDM
Autores:
Meira S., Regina Motz, Tepedino F.
Fuentes:
scopus
1
1
