Advances in Temporal Logic
Uloženo v:
| Další autoři: | Gabbay, Dov M., 1945- (Spolupracovník), Gough, Graham (Spolupracovník), Fisher, Michael (Spolupracovník), Barringer, Howard (Spolupracovník) |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
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 |
Podobné jednotky
- Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings (Livre numérique)
-
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 14, 1994 : proceedings
(Livre numérique)
Gabbay, Dov M., 1945- -
Verifying concurrent processes using temporal logic
(Livre numérique)
Hailpern, Brent T., 1955- -
Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
(Livre numérique)
Fisher, Michael - Advances in Intensional Logic (Livre numérique)

