LIBROS DEL AUTOR: scott mstaley

1 resultados para LIBROS DEL AUTOR: scott mstaley

scott mstaley Eliminar filtro Quitar filtros
  • Pepperdine Papers on Linear Temporal Logic
    David Vega / J. Stanley Warford / JStanley Warford / Scott M. Staley / Scott MStaley
    This book, Pepperdine Papers on Linear Temporal Logic, documents the research conducted over many years at Pepperdine University culminating in the recent publication of: J. Stanley Warford, David Vega, and Scott M. Staley. 2020. A Calculational Deductive System for Linear Temporal Logic. ACM Comput. Surv. 53, 3, Article 53 (June 2020), 38 pages, https://doi.org/10.1145/338710...
    Disponible

    29,43 €