The spin model checker : primer and reference manual /
06
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Boston : Addison-Wesley Professional,
2004
|
| Subjects: |
| _version_ | 1796684455541211136 |
|---|---|
| author | 455693 Holzmann, Gerard J. |
| author_facet | 455693 Holzmann, Gerard J. |
| author_sort | 455693 Holzmann, Gerard J. |
| collection | OCEAN |
| description | 06 |
| first_indexed | 2024-03-04T22:12:24Z |
| format | |
| id | KOHA-OAI-TEST:194326 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T22:12:24Z |
| publishDate | 2004 |
| publisher | Boston : Addison-Wesley Professional, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1943262020-12-19T17:05:28ZThe spin model checker : primer and reference manual / 455693 Holzmann, Gerard J. Boston : Addison-Wesley Professional,2004eng06PSZJBLSystems engineeringComputer programsURN:ISBN:9780321228628 (hbk.)URN:ISBN:0321228626 (hbk.) |
| spellingShingle | Systems engineering Computer programs 455693 Holzmann, Gerard J. The spin model checker : primer and reference manual / |
| title | The spin model checker : primer and reference manual / |
| title_full | The spin model checker : primer and reference manual / |
| title_fullStr | The spin model checker : primer and reference manual / |
| title_full_unstemmed | The spin model checker : primer and reference manual / |
| title_short | The spin model checker : primer and reference manual / |
| title_sort | spin model checker primer and reference manual |
| topic | Systems engineering Computer programs |
| work_keys_str_mv | AT 455693holzmanngerardj thespinmodelcheckerprimerandreferencemanual AT 455693holzmanngerardj spinmodelcheckerprimerandreferencemanual |