LIBROS DEL AUTOR: eric c r hehner

1 resultados para LIBROS DEL AUTOR: eric c r hehner

eric c r hehner Eliminar filtro Quitar filtros
  • A Practical Theory of Programming
    Eric C.R. Hehner
    There are several theories of programming. The first usable theory, often called 'Hoare’s Logic', is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakes...
    Disponible

    67,94 €