Temporal logic : mathematical foundations and computational aspects : Volume2

Temporal logic : mathematical foundations and computational aspects Volume2

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Gabbay Dov M. (Auteur), Finger Marcelo (Auteur)
Autres auteurs : Reynolds Mark (Auteur)
Format : Livre
Langue : anglais
Titre complet : Temporal logic : mathematical foundations and computational aspects. Volume2 / Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger
Publié : Oxford : Clarendon Press , 2000
Description matérielle : 1 vol. (XIII-597 p.)
Collection : Oxford logic guides ; 40
Sujets :
Logique informatique
Automates

BU Censive

Informations d'exemplaires de BU Censive
‌ Cote Prêt Statut
Bât. Censive, 1er étage, salle 111 L 19975 Empruntable Disponible