Computer-aided verification of coordinating processes
- Författare
- R. P. Kurshan
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Princeton University Press | 1995 | Utgivningsland okänt / Ej specificerat | ||
| Princeton University Press | c1994 | Storbritannien, Princeton, N.J, Chichester | xii, 270 sidor. : ill 25cm. | 0-691-03436-2 |