5 results
Type of media (2)
Availability (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
5 results

Your search for P.A. Subrahmanyam

  1. Cover: Current Trends in Hardware Verification and Automated Theorem Proving - Springer
    Graham Birtwistle | P.A. Subrahmanyam
    Current Trends in Hardware Verification and Automated Theorem Proving
    12/2012
    Springer
    9781461236580 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: VLSI Specification, Verification and Synthesis - Springer
    Graham Birtwistle | P.A. Subrahmanyam
    VLSI Specification, Verification and Synthesis
    12/2012
    Springer
    9781461320074 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: VLSI Specification, Verification and Synthesis - Springer
    Graham Birtwistle | P.A. Subrahmanyam
    VLSI Specification, Verification and Synthesis
    08/2013
    Springer
    9781461291978 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  4. Cover: Current Trends in Hardware Verification and Automated Theorem Proving - Springer
    Graham Birtwistle | P.A. Subrahmanyam
    Current Trends in Hardware Verification and Automated Theorem Proving
    09/2011
    Springer
    9781461281955 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  5. Cover: Current Trends in Hardware Verification and Automated Theorem Proving - Springer
    Graham Birtwistle | P.A. Subrahmanyam
    Current Trends in Hardware Verification and Automated Theorem Proving
    Workshop on Hardware Verification : Papers
    06/1989
    Springer
    9780387969886 (ISBN)
    Book
    Hardback
    Other editions
    €112.34
    Exhausted; check different version