The foundations of program verification /
57
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
Chichester : John Wiley,
1984
|
| Subjects: |
| _version_ | 1796664669931307008 |
|---|---|
| author | Loeckx, Jacques, 1931- Sieber, Kurt |
| author_facet | Loeckx, Jacques, 1931- Sieber, Kurt |
| author_sort | Loeckx, Jacques, 1931- |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T17:20:29Z |
| format | |
| id | KOHA-OAI-TEST:97290 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T17:20:29Z |
| publishDate | 1984 |
| publisher | Chichester : John Wiley, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:972902020-12-19T17:01:20ZThe foundations of program verification / Loeckx, Jacques, 1931- Sieber, Kurt Chichester : John Wiley,1984575859PSZKLLComputer programsURN:ISBN:047190323X |
| spellingShingle | Computer programs Loeckx, Jacques, 1931- Sieber, Kurt The foundations of program verification / |
| title | The foundations of program verification / |
| title_full | The foundations of program verification / |
| title_fullStr | The foundations of program verification / |
| title_full_unstemmed | The foundations of program verification / |
| title_short | The foundations of program verification / |
| title_sort | foundations of program verification |
| topic | Computer programs |
| work_keys_str_mv | AT loeckxjacques1931 thefoundationsofprogramverification AT sieberkurt thefoundationsofprogramverification AT loeckxjacques1931 foundationsofprogramverification AT sieberkurt foundationsofprogramverification |