The correctness problem in computer science /
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
London : Academic Press,
1981
|
| Subjects: |
| _version_ | 1826397730376777728 |
|---|---|
| author | Boyer, Robert S. |
| author_facet | Boyer, Robert S. |
| author_sort | Boyer, Robert S. |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T22:54:30Z |
| format | |
| id | KOHA-OAI-TEST:208456 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T22:54:30Z |
| publishDate | 1981 |
| publisher | London : Academic Press, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:2084562020-12-19T17:06:01ZThe correctness problem in computer science / Boyer, Robert S. London : Academic Press,1981575859PSZKLLComputer programsURN:ISBN:0121229203 |
| spellingShingle | Computer programs Boyer, Robert S. The correctness problem in computer science / |
| title | The correctness problem in computer science / |
| title_full | The correctness problem in computer science / |
| title_fullStr | The correctness problem in computer science / |
| title_full_unstemmed | The correctness problem in computer science / |
| title_short | The correctness problem in computer science / |
| title_sort | correctness problem in computer science |
| topic | Computer programs |
| work_keys_str_mv | AT boyerroberts thecorrectnessproblemincomputerscience AT boyerroberts correctnessproblemincomputerscience |