Bokus

P.A. Subrahmanyam

Visar alla böcker från författaren P.A. Subrahmanyam. Handla med fri frakt och snabb leverans.

  1. Current Trends in Hardware Verification and Automated Theorem Proving

    Current Trends in Hardware Verification and Automated Theorem Proving

    2012

  2. VLSI Specification, Verification and Synthesis

    VLSI Specification, Verification and Synthesis

    2013