LIBROS DEL AUTOR: david luckham

4 resultados para LIBROS DEL AUTOR: david luckham

david 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 €

  • Programming with Specifications
    David Luckham
    Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming lan­ guage. In the past, the word 'specification' has sometimes been use...
    Disponible

    65,58 €

  • 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 €