Temporal logics and their applications /
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
London : Academic Press,
1987
|
| Subjects: |
| _version_ | 1826396172566134784 |
|---|---|
| author | Galton, Anthony |
| author_facet | Galton, Anthony |
| author_sort | Galton, Anthony |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T22:32:36Z |
| format | |
| id | KOHA-OAI-TEST:201103 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T22:32:36Z |
| publishDate | 1987 |
| publisher | London : Academic Press, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:2011032020-12-19T17:05:44ZTemporal logics and their applications / Galton, Anthony London : Academic Press,1987575859PSZJBLElectronic digital computersLogic, Symbolic and mathematicalURN:ISBN:0122740602 |
| spellingShingle | Electronic digital computers Logic, Symbolic and mathematical Galton, Anthony Temporal logics and their applications / |
| title | Temporal logics and their applications / |
| title_full | Temporal logics and their applications / |
| title_fullStr | Temporal logics and their applications / |
| title_full_unstemmed | Temporal logics and their applications / |
| title_short | Temporal logics and their applications / |
| title_sort | temporal logics and their applications |
| topic | Electronic digital computers Logic, Symbolic and mathematical |
| work_keys_str_mv | AT galtonanthony temporallogicsandtheirapplications |