LIBROS DEL AUTOR: mingsheng ying

1 resultados para LIBROS DEL AUTOR: mingsheng ying

mingsheng ying Eliminar filtro Quitar filtros
  • Topology in Process Calculus
    Mingsheng Ying
    The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for...
    Disponible

    66,56 €