Couverture : Temporal logic

Connectez-vous pour ajouter ce livre à votre bibliothèque.

Temporal logic

Dov M. Gabbay, Ian Hodkinson, Mark Anthony Reynolds

Autre Première publication : 1994

Sujets

Informatique -- Mathématiques Logique temporelle Logique mathématique

Éditions (1)

Couverture : Temporal logic

Temporal logic : mathematical foundations and computational aspects

Clarendon press (Oxford) · 1994 · 9780198537694