An introduction to formal program verification /
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
New York : Van Nostrand Reinhold,
1985
|
| Subjects: |
| _version_ | 1826377905127555072 |
|---|---|
| author | 208742 Mili, Ali |
| author_facet | 208742 Mili, Ali |
| author_sort | 208742 Mili, Ali |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T18:08:26Z |
| format | |
| id | KOHA-OAI-TEST:113297 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T18:08:26Z |
| publishDate | 1985 |
| publisher | New York : Van Nostrand Reinhold, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1132972020-12-19T17:02:01ZAn introduction to formal program verification / 208742 Mili, Ali New York : Van Nostrand Reinhold,1985575859PSZKLLComputer programsURN:ISBN:0442263228 |
| spellingShingle | Computer programs 208742 Mili, Ali An introduction to formal program verification / |
| title | An introduction to formal program verification / |
| title_full | An introduction to formal program verification / |
| title_fullStr | An introduction to formal program verification / |
| title_full_unstemmed | An introduction to formal program verification / |
| title_short | An introduction to formal program verification / |
| title_sort | introduction to formal program verification |
| topic | Computer programs |
| work_keys_str_mv | AT 208742miliali anintroductiontoformalprogramverification AT 208742miliali introductiontoformalprogramverification |