Logic for concurrency and synchronisation
- Författare
- (Edited by Ruy J.G.B. de Queiroz.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 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 |
| Springer Netherlands | 2003 | Utgivningsland okänt / Ej specificerat, Dordrecht |