LIBROS DEL AUTOR: peter a lindsay

1 resultados para LIBROS DEL AUTOR: peter a lindsay

peter a lindsay Eliminar filtro Quitar filtros
  • Proof in VDM
    John Fitzgerald / Juan C. Bicarregui / Peter A. Lindsay
    Formal specifications were first used in the description of program­ ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations required by a programmer. In a relatively short time, specification notations have found their place in industry and are used for the description of a w...
    Disponible

    65,86 €