LIBROS DEL AUTOR: helmut a partsch

1 resultados para LIBROS DEL AUTOR: helmut a partsch

helmut a partsch Eliminar filtro Quitar filtros
  • Specification and Transformation of Programs
    Helmut A. Partsch
    'Specification and transformation of programs' is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Co...
    Disponible

    65,24 €