Advances in Temporal Logic

Enregistré dans:
Détails bibliographiques
Autres auteurs: Gabbay, Dov M., 1945- (Collaborateur), Gough, Graham (Collaborateur), Fisher, Michael (Collaborateur), Barringer, Howard (Collaborateur)
Format: Livre numérique
Langue:Anglais
Publié: Cham : Springer International Publishing [20..].
Cham : Springer Nature
Accès en ligne:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Note: Autre(s) contributeur(s) : Graham Gough
Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Advances in Temporal Logic, 978-90-481-5389-3

En ligne

Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL