Temporal logic - mathematical foundations and computational aspects
- Författare
- Dov M. Gabbay
- (Dov M. Gabbay, Ian Hodkinson and Mark Reynolds.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Clarendon | 1994-9999 | Storbritannien, Oxford | 2 vol. | |
| Clarendon | 1994 | Storbritannien, Oxford | 653 sidor. | |
| Springer | cop. 1994 | Tyskland, Berlin, New York | ||
| Springer Berlin Heidelberg | 1994 | Utgivningsland okänt / Ej specificerat |