Item Details

An Automatic Verifier for a Class of Sorting Programs

by Prabhaker Mateti
Format
Thesis/Dissertation; Book; Online; EBook
Published
Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1976.
Language
English
Series
Report (University of Illinois at Urbana-Champaign. Dept. Of Computer Science)
Description
v, 119 p. : diagrs. ; 28 cm.
Mode of access: Internet.
Dissertation Note
Thesis--University of Illinois at Urbana-Champaign.
Notes
Bibliography: p. 114-117.
Series Statement
Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 832
Logo for Creative Commons Attribution, Share-alike, Non-commercial LicenseCreative Commons Attribution, Share-alike, Non-commercial License
Technical Details

  • LEADER 01560nam a2200349 i 4500
    001 100697659
    003 MiAaHDL
    005 20150526000000.0
    006 m d
    007 cr bn ---auaua
    008 770304s1976 ilu s00010 eng d
    035
      
      
    a| sdr-uiuc838525
    035
      
      
    9| ADL-2882
    035
      
      
    a| (OCoLC)2777635
    040
      
      
    a| SPI c| SPI d| m.c. d| UIU
    100
    1
    0
    a| Mateti, Prabhaker.
    245
    1
    3
    a| An automatic verifier for a class of sorting programs / c| by Prabhaker Mateti.
    260
    0
      
    a| Urbana : b| Dept. of Computer Science, University of Illinois at Urbana-Champaign, c| 1976.
    300
      
      
    a| v, 119 p. : b| diagrs. ; c| 28 cm.
    490
      
    0
    a| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) v| no. 832
    502
      
      
    a| Thesis--University of Illinois at Urbana-Champaign.
    504
      
      
    a| Bibliography: p. 114-117.
    538
      
      
    a| Mode of access: Internet.
    650
      
    0
    a| Computer programs
    974
      
      
    8| ia.automaticverifie832mate b| UIU c| IUIUC d| 20180315 s| ia u| uiuo.ark:/13960/t3gx5vp2f z| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 832 y| 1976 r| cc-by-nc-sa-3.0 q| con

Access online

Google Preview