Temporal logic Vol. 2, Mathematical foundations and computational aspects
- Författare
- Dov M. Gabbay
- (Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2000 | Storbritannien |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2000 | Storbritannien |