Proving programs correct by R.B. Anderson
Publication details: New York John Wiley 1979Description: 184 pSubject(s):Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
Prof. M S Swaminathan Library, ICAR: Indian Agricultural Research Institute | 519.92 A 549 P (Browse shelf(Opens below)) | Available | 145185 |
Browsing Prof. M S Swaminathan Library, ICAR: Indian Agricultural Research Institute shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | |||
519.92 A 193 E Elements of linear programming | 519.92 A 286 C Currents in the theory of computing | 519.92 A 341 B Basic | 519.92 A 549 P Proving programs correct | 519.92 A 558 C Computer programming and related mathematics | 519.92 A 676 N Numerical algorithms | 519.92 A58 Applied Optimal Designs |
There are no comments on this title.