LIBROS DEL AUTOR: ed brinksma

1 resultados para LIBROS DEL AUTOR: ed brinksma

ed brinksma Eliminar filtro Quitar filtros
  • Tools and Algorithms for the Construction and Analysis of Systems
    Ed Brinksma
    This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS ’97, held in Enschede, The Netherlands, in April 1997.The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended ...
    Disponible

    65,52 €