LIBROS DEL AUTOR: ralph johan back

1 resultados para LIBROS DEL AUTOR: ralph johan back

ralph johan back Eliminar filtro Quitar filtros
  • Refinement Calculus
    Joakim Wright / Ralph-Johan Back
    Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special cas...
    Disponible

    132,74 €