Bokus

C. Delgado Kloos – författare

Visar alla böcker från författaren C. Delgado Kloos. Handla med fri frakt och snabb leverans.

1 produkter

  1. C. Delgado Kloos, Carlos Delgado Kloos, Werner Damm - Practical Formal Methods for Hardware Design, Häftad. Tillgänglighet: Lägg i varukorg

    Practical Formal Methods for Hardware Design

    Av C. Delgado Kloos, Carlos Delgado Kloos m. fl.

    Häftad, 1997

    567 kr

    Lägg i varukorg

    Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which …