LIBROS DEL AUTOR: warren a jr hunt

1 resultados para LIBROS DEL AUTOR: warren a jr hunt

warren a jr hunt Eliminar filtro Quitar filtros
  • FM8501
    Warren A. Jr. Hunt
    The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design implementation using a formal logic, the Boyer-Moore logic; this approach permitted a complete mechanically checked proof that th...
    Disponible

    65,98 €