Temporal logic Vol. 1 - mathematical foundations and computational aspects

Författare
Dov M. Gabbay
Språk
Engelska
Förlag År Ort Om boken ISBN
Clarendon 1994 Storbritannien, Oxford 653 sidor.