Ayuda
¿En qué podemos ayudarle?
×
Buscar en la ayuda
Buscar
¿En qué podemos ayudarle?
×
Buscar en la ayuda
Buscar
Ir al conteni
d
o
B
uscar
R
evistas
T
esis
Co
n
gresos
m
étricas
Ayuda
Cambiar idioma
Idioma
català
Deutsch
English
español
euskara
français
galego
italiano
português
română
Cambiar
Translation of Z specifications to executable code
:
Application to the database domain
Saeed Khalafinejad
[2]
;
Seyed-Hassan Mirian-Hosseinabadi
[1]
[1]
Sharif University of Technology
Sharif University of Technology
Irán
[2]
School of Engineering and Science, Sharif University of Technology-International Campus, Kish Island, Iran
Localización:
Information and software technology
,
ISSN
0950-5849,
Vol. 55, Nº 6, 2013
,
págs.
1017-1044
Idioma:
inglés
Enlaces
Texto Completo Ejemplar
Acceso de usuarios registrados
Identificarse
¿Olvidó su contraseña?
¿Es nuevo?
Regístrese
Ventajas de registrarse
Dialnet Plus
Opciones de compartir
Facebook
Twitter
Opciones de entorno
Sugerencia / Errata
©
2001-2024
Fundación Dialnet
· Todos los derechos reservados
Dialnet Plus
Accesibilidad
Aviso Legal
Coordinado por:
I
nicio
B
uscar
R
evistas
T
esis
Co
n
gresos
m
étricas
Ayuda
R
e
gistrarse