UGR
  |
> >
(Ref. TIC-164)
02
julio
2025
julio 2025
<- ->
L M X J V S D
1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31

Producción científica

< VOLVER AL LISTADO

Detalles del capítulo

Publicación
Título: GRALPLA: AN ALGEBRAIC SPECIFICATION LANGUAGE FOR INTERACTIVE GRAPHICS SYSTEMS
Título del libro: DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS 1996
Páginas de la publicación: 272 - 291
Lugar de la publicación: AUSTRIA
Editorial: SPRINGER-VERLAG
Año de la publicación: 1996
ISBN: 3-211-82900-8
Autores: JUAN CARLOS TORRES CANTERO
MIGUEL GEA-MEGIAS
FRANCISCO LUIS GUTIERREZ VELA
MARCELINO JOSE CABRERA CUEVAS
MARIA LUISA RODRIGUEZ ALMENDROS

[Decargar BibTex]
Desarrollado por: