UGR
  |
> >
None
(Ref. TIC-230)
13
marzo
2025
marzo 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 libro

Publicación
Título: DESDE ESPECIFICACIONES LÓGICAS DE INTERVALOS A AUTÓMATAS DE PROPIEDAD: UNA CONSTRUCCIÓN TABLEAU PARA SU APLICACIÓN EN COMPROBACIÓN DE MODELOS ON-THE-FLY
Número de páginas: xxii+281
Año de la publicación: 2012
ISBN: 978-84-694-9335-9
Autores: MIGUEL JUAN HORNOS BARRANCO

[Decargar BibTex]
Desarrollado por: