67194成l人在线观看线路

<pre id="cigif"></pre>
<track id="cigif"></track>
    <table id="cigif"><ruby id="cigif"></ruby></table>
  1. <track id="cigif"></track>
    <acronym id="cigif"><label id="cigif"></label></acronym>
      • go to David Patterson's profile page
      • go to Charles W Bachman's profile page
      • go to Leonard M. Adleman's profile page
      • go to Andrew C Yao's profile page
      • go to Dennis M. Ritchie 's profile page
      • go to Frances Allen's profile page
      • go to Michael O. Rabin 's profile page
      • go to Edgar F. Codd's profile page
      • go to A. J. Perlis 's profile page
      • go to Frederick Brooks's profile page
      • go to Pat Hanrahan's profile page
      • go to John L Hennessy's profile page
      • go to Richard W. Hamming's profile page
      • go to Stephen A Cook's profile page
      • go to Ole-Johan Dahl 's profile page
      • go to Adi Shamir's profile page
      • go to Robert W. Floyd's profile page
      • go to Dana S Scott's profile page
      • go to Michael Stonebraker's profile page
      • go to Barbara Liskov's profile page
      • go to Edmund Clarke's profile page
      • go to Butler W Lampson's profile page
      • go to Leslie Lamport's profile page
      • go to Marvin Minsky 's profile page
      A.M. TURING AWARD WINNERS BY...

      Amir Pnueli DL Author Profile link

      United States – 1996
      Research Subjects

      Program Verification

      Bibliometrics: publication history
      Publication years1969-2012
      Publication count236
      Citation Count5,211
      Available for download36
      Downloads (6 Weeks)133
      Downloads (12 Months)1,067
      67194成l人在线观看线路

      <pre id="cigif"></pre>
      <track id="cigif"></track>
        <table id="cigif"><ruby id="cigif"></ruby></table>
      1. <track id="cigif"></track>
        <acronym id="cigif"><label id="cigif"></label></acronym>