Jump to main content

yr 〜
yr

Search results 3

A systematic methodology for verifying superscalar microprocessors [microform] / Mandayam Srivas, Ravi Hosabettu, & Ganesh Gopalakrishnan ([NASA contractor report] ; NASA/CR-1999-208991)

A systematic methodology for verifying superscalar microprocessors [microform] / Mandayam Srivas, Ravi Hosabettu, & Ganesh Gopalakrishnan ([NASA contractor report] ; NASA/CR-1999-208991)
Microform図書
1999<YCA-NAS 1.26:208991>
National Diet Library
  • Author HeadingSrivas, Mandayam Hosabettu, Ravi Gopalakrishna...

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
Paper図書
Mandayam Srivas, Albert Camilleri (eds.)Springerc1996
Other Libraries in Japan
  • Author HeadingFMCAD (Conference) Srivas, Mandayam Camilleri, Albert

Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications

Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications
Microform博士論文
Srivas, Mandayam Kannappan.Massachusetts Institute of Technology1982.<LS-DI-MIT-82-325>
National Diet Library
  • Author HeadingSrivas, Mandayam Kannappan.

Reached to the end of result.

RSS