Logic for Concurrency and Synchronisation
- Författare
- Ruy J. G. B. de Queiroz
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Netherlands | 2003 | Utgivningsland okänt / Ej specificerat, Dordrecht | ||
| Kluwer Academic | 2003 | Nederländerna, Dordrecht, London | 284 sidor. | 1-4020-1270-5 |
| Kluwer Academic Publishers | c2003 | Nederländerna, Dordrecht, Boston | xxi, 284 sidor. ill. 25 cm. | |
| Kluwer Academic Publishers | c2003 | Nederländerna, Dordrecht, Boston | xxi, 284 sidor. ill. 25 cm. | 978-0-306-48088-1 |