Zobrazuji výsledky 1 - 1 z 1 pro vyhledávání 'G. Birtwistle, P A Subrahmanian', doba hledání: 0,01 s. Upřesnit hledání
  1. 1
    Current Trends In Hardware Verification And Automated Theorem Proving
    Autor G. Birtwistle, P A Subrahmanian
    Vydáno 1989
    Printed Book
Vyhledávací nástroje: RSS — Poslat emailem