LIBROS DEL AUTOR: de boer frank

2 resultados para LIBROS DEL AUTOR: de boer frank

de boer frank Eliminar filtro Quitar filtros
  • Verification of Sequential and Concurrent Programs
    Frank S. de Boer / Krzysztof R. Apt
    Part I: In the Beginning Introduction Preliminaries Part II: Deterministic Programs while Programs Recursive Programs Recursive Programs with Parameters Object-Oriented Programs Part III: Parallel Programs Disjoint Parallel Programs Parallel Programs with Shared Variables Parallel Programs with Synchronization Part IV: Nondeterministic and Distributed Programs Nondeterministic ...
    Disponible

    120,50 €

  • Concurrency Verification
    De Boer Frank / De Roever Willem-Paul / Hanneman Ulrich
    ...
    Disponible

    117,99 €