LIBROS DEL AUTOR: patrice godefroid

1 resultados para LIBROS DEL AUTOR: patrice godefroid

patrice godefroid Eliminar filtro Quitar filtros
  • Partial-Order Methods for the Verification of Concurrent Systems
    Patrice Godefroid
    This monograph is a revised version of the author’s Ph.D. thesis, submitted to the University of Liège, Belgium, with Pierre Wolper as thesis advisor.The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as al...
    Disponible

    66,92 €