Näytetään 1 - 1 yhteensä 1 tuloksesta haulle 'G. Birtwistle, P A Subrahmanian', hakuaika: 0,01s Tarkenna hakua
  1. 1
    Current Trends In Hardware Verification And Automated Theorem Proving
    Tekijä G. Birtwistle, P A Subrahmanian
    Julkaistu 1989
    Printed Book
Työkalut: RSS-syöte — Lähetä haku sähköpostilla