Correctness problem in computer science
by Boyer, R. S; Moore, J Strother.
Publisher: London Academic Press 1981Edition: 1st ed.Description: xiii, 279 p. ill. 24 cm.ISBN: 0121229203.Subject(s): Computer programsItem type | Current location | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Edited Book | Central Library, BUET Circulation section | 001.642/BOY/1981 (Browse shelf) | 1 | Available | 56037 |
Browsing Central Library, BUET Shelves , Shelving location: Circulation section Close shelf browser
001.6425/SIM/1985 Expert systems and micros | 001.6425/STE/1987 Software engineering with systems analysis and design | 001.6425/STE/1987 Software engineering with systems analysis and design | 001.642/BOY/1981 Correctness problem in computer science | 001.642/COF/1973 Operating systems theory | 001.642/DIJ/1976 A discipline of programming | 001.642/DUN/1979 Microprocessor programming and software development |
Includes bibliographies
There are no comments for this item.