Design and validation of computer protocols /
16
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Englewood Cliffs, NJ : Prentice-Hall,
1991
|
| Subjects: |
| _version_ | 1796717486257733632 |
|---|---|
| author | 455693 Holzmann, Gerard J. |
| author_facet | 455693 Holzmann, Gerard J. |
| author_sort | 455693 Holzmann, Gerard J. |
| collection | OCEAN |
| description | 16 |
| first_indexed | 2024-03-05T06:04:57Z |
| format | |
| id | KOHA-OAI-TEST:351804 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-05T06:04:57Z |
| publishDate | 1991 |
| publisher | Englewood Cliffs, NJ : Prentice-Hall, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:3518042020-12-19T17:12:10ZDesign and validation of computer protocols / 455693 Holzmann, Gerard J. Englewood Cliffs, NJ : Prentice-Hall,199116PSZJBLComputer network protocolsURN:ISBN:0135399254 |
| spellingShingle | Computer network protocols 455693 Holzmann, Gerard J. Design and validation of computer protocols / |
| title | Design and validation of computer protocols / |
| title_full | Design and validation of computer protocols / |
| title_fullStr | Design and validation of computer protocols / |
| title_full_unstemmed | Design and validation of computer protocols / |
| title_short | Design and validation of computer protocols / |
| title_sort | design and validation of computer protocols |
| topic | Computer network protocols |
| work_keys_str_mv | AT 455693holzmanngerardj designandvalidationofcomputerprotocols |