Logic for concurrency and synchronisation /
41
| Autor principal: | |
|---|---|
| Formato: | |
| Idioma: | eng |
| Publicado em: |
Dordrecht : Kluwer Academic Pubs,
2003
|
| Assuntos: |
| _version_ | 1826411015867203584 |
|---|---|
| author | Queiroz, Ruy J.G.B. de |
| author_facet | Queiroz, Ruy J.G.B. de |
| author_sort | Queiroz, Ruy J.G.B. de |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-05T02:08:37Z |
| format | |
| id | KOHA-OAI-TEST:273072 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T02:08:37Z |
| publishDate | 2003 |
| publisher | Dordrecht : Kluwer Academic Pubs, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:2730722020-12-19T17:08:46ZLogic for concurrency and synchronisation / Queiroz, Ruy J.G.B. de Dordrecht : Kluwer Academic Pubs,2003eng41PSZJBLProof theoryModality (Logic)Parallel programming (Computer science)URN:ISBN:1402012705 (hbk.) |
| spellingShingle | Proof theory Modality (Logic) Parallel programming (Computer science) Queiroz, Ruy J.G.B. de Logic for concurrency and synchronisation / |
| title | Logic for concurrency and synchronisation / |
| title_full | Logic for concurrency and synchronisation / |
| title_fullStr | Logic for concurrency and synchronisation / |
| title_full_unstemmed | Logic for concurrency and synchronisation / |
| title_short | Logic for concurrency and synchronisation / |
| title_sort | logic for concurrency and synchronisation |
| topic | Proof theory Modality (Logic) Parallel programming (Computer science) |
| work_keys_str_mv | AT queirozruyjgbde logicforconcurrencyandsynchronisation |