Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings

Details 詳細情報について

• CRID

  1130282269160713216

• NII Book ID

  BA49044059

• ISBN

  3540412190

• LCCN

  00049710

• Web Site

  https://lccn.loc.gov/00049710

• Text Lang

  en

• Country Code

  gw

• Title Language Code

  en

• Place of Publication

  • Berlin

• Classification

  • LCC: TK7874.65
  • LCC: TK7885.A1
  • DC21: 621.39/2

• Subject

  • LCSH: Digital integrated circuits -- Design and construction -- Data processing -- Congresses
  • LCSH: Digital integrated circuits -- Computer-aided design -- Congresses
  • LCSH: Computer-aided design -- Congresses
  • LCSH: Automatic theorem proving -- Congresses
  • LCSH: Integrated circuits -- Verification -- Congresses
  • LCSH: Computer engineering -- Computer-aided design -- Congresses
  • LCSH: Formal methods (Computer science) -- Congresses

• Data Source

  • CiNii Books