Loading...
Please wait, while we are loading the content...
Similar Documents
An Automatic Verifier for a Class of Sorting Programs
Content Provider | World eBook Library |
---|---|
Author | Mateti, Prabhaker |
Organization | World Library Foundation |
Description | An Automatic Verifier for a Class of Sorting Programs by Mateti, Prabhaker; published by Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign |
File Format | |
Language | English |
Publisher | Dept. of Computer Science, University of Illinois at Urbana-Champaign |
Publisher Date | 2016-09-18 |
Publisher Institution | University of Illinois Urbana |
Publisher Place | Urbana |
Access Restriction | Subscribed |
Subject Keyword | American Libraries American Libraries Collection Automatic Class Computer Programs Programs Sorting Verifier |
Content Type | Text |
Resource Type | Book |