1. Repositorio de Tesis DGBSDI

Buscar por Sustentante Vázquez Reyes, Cenobio Moisés

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 2 a 2 de 2 < Anterior 
Vista previaTítuloSustentanteFecha de publicación
0781565.pdf.jpgUn sencillo y eficiente verificador al vuelo para la lógica temporal CTL* escrito en HaskellVázquez Reyes, Cenobio Moisés2018
Mostrando resultados 2 a 2 de 2 < Anterior