LIBROS DEL AUTOR: hans eveking

1 resultados para LIBROS DEL AUTOR: hans eveking

hans eveking Eliminar filtro Quitar filtros
  • Verifikation digitaler Systeme
    Hans Eveking
    Die Korrektheit eines digitalen Systems vollständig nachzuweisen - dieses Problem, das von großem praktischen Interesse ist, wirft eine Reihe grund­ legender Fragen der Modellierung von Hardware, der Entwicklung geeig­ neter Repräsentationen, der Möglichkeit formalen Argurnentierens und der technischen Realisierbarkeit von Verifikationswerkzeugen auf....
    Disponible

    84,53 €