Bokus

Miriam Leeser – författare

Visar alla böcker från författaren Miriam Leeser. Handla med fri frakt och snabb leverans.

1 produkter

  1. Miriam Leeser, Geoffrey Brown - Hardware Specification, Verification and Synthesis: Mathematical Aspects, Häftad. Tillgänglighet: Lägg i varukorg

    Hardware Specification, Verification and Synthesis: Mathematical Aspects

    Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings

    Av Miriam Leeser, Geoffrey Brown

    Häftad, 1990

    550 kr

    Lägg i varukorg

    Current research into formal methods for hardware design is presented in the papers in this volume. Because of the complexity of VLSI circuits, assuring design validity before circuits are manufactured is imperative. The goal of research in this area is to develop methods of improving the design …