Specification and verification of concurrent systems /
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
London : Springer-Verlag,
1990
|
| Subjects: |
| _version_ | 1796680351207129088 |
|---|---|
| author | Rattray, C. (Charles), 1938- |
| author_facet | Rattray, C. (Charles), 1938- |
| author_sort | Rattray, C. (Charles), 1938- |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T21:12:18Z |
| format | |
| id | KOHA-OAI-TEST:174467 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T21:12:18Z |
| publishDate | 1990 |
| publisher | London : Springer-Verlag, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1744672020-12-19T17:04:46ZSpecification and verification of concurrent systems / Rattray, C. (Charles), 1938- London : Springer-Verlag,1990575859PSZJBLParallel processing (Electronic computers)URN:ISBN:3540195815 |
| spellingShingle | Parallel processing (Electronic computers) Rattray, C. (Charles), 1938- Specification and verification of concurrent systems / |
| title | Specification and verification of concurrent systems / |
| title_full | Specification and verification of concurrent systems / |
| title_fullStr | Specification and verification of concurrent systems / |
| title_full_unstemmed | Specification and verification of concurrent systems / |
| title_short | Specification and verification of concurrent systems / |
| title_sort | specification and verification of concurrent systems |
| topic | Parallel processing (Electronic computers) |
| work_keys_str_mv | AT rattrayccharles1938 specificationandverificationofconcurrentsystems |