LIBROS DEL AUTOR: david c luckham

3 resultados para LIBROS DEL AUTOR: david c luckham

david c luckham Eliminar filtro Quitar filtros
  • Hardware Design and Simulation in VAL/VHDL
    Benoit A. Gennart / David C. Luckham / Larry M. Augustin
    The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VHDL is the result of a collaborative effort between IBM, Intermetrics, and Texas Instruments; sponsored by the Very High Speed Integrated Cir­ cuits (VHSIC) program office of the Department of Defense, beginning in 1981. Today it i...
    Disponible

    133,67 €

  • Hardware Design and Simulation in VAL/VHDL
    Benoit A. Gennart / David C. Luckham / Larry M. Augustin
    The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VHDL is the result of a collaborative effort between IBM, Intermetrics, and Texas Instruments; sponsored by the Very High Speed Integrated Cir­ cuits (VHSIC) program office of the Department of Defense, beginning in 1981. Today it i...
    Disponible

    132,26 €

  • ANNA A Language for Annotating Ada Programs
    Bernd Krieg-Brueckner / David C. Luckham / Friedrich W. von Henke
    This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable annotations so that well established formal methods of specifica...
    Disponible

    66,92 €