Listar Grado en Matemáticas por autor 

Listar Grado en Matemáticas por autor "Domínguez Balbás, Pablo"  

Mostrando ítems 1-1 de 1

    • Trabajo Fin de Grado
      Icon

      Librería Haskell sobre Model Checking 

      Domínguez Balbás, Pablo (2020-06-01)
      In this project we establish the basic theoretical concepts about F inite State M achines and Model Checking so we can ...