Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings | Livres anciens et modernes | Fisher, Michael, Owens, Richard (Eds.)
Livres anciens et modernes
Fisher, Michael, Owens, Richard (Eds.)
Springer-Verlag,
1995
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings | Livres anciens et modernes | Fisher, Michael, Owens, Richard (Eds.)
Livres anciens et modernes
Fisher, Michael, Owens, Richard (Eds.)
Springer-Verlag,
1995
28,20 €
(Lexington,
États-Unis d'Amérique)
Mode de Paiement
- PayPal
- Carte bancaire
- Virement bancaire
- Pubblica amministrazione
- Carta del Docente
Détails
- Année
- 1995
- ISBN
- 9783540589761
- Lieu d'édition
- New York
- Auteur
- Fisher, Michael, Owens, Richard (Eds.)
- Éditeurs
- Springer-Verlag
- Edition
- Reprint
- Thème
- Computer Science
- Description
- Paperback
- Etat de conservation
- Tres bonne condition
- Langues
- Anglais
- Reliure
- Couverture souple
- Premiére Edition
- False
Description
Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 897 This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery
