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 | Rare and modern books | Fisher, Michael, Owens, Richard (Eds.)
Rare and modern books
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 | Rare and modern books | Fisher, Michael, Owens, Richard (Eds.)
Rare and modern books
Fisher, Michael, Owens, Richard (Eds.)
Springer-Verlag,
1995
28.20 €
(Lexington,
United States of America)
Payment methods
- PayPal
- Credit card
- Bank transfer
- Pubblica amministrazione
- Carta del Docente
Details
- Year of publication
- 1995
- ISBN
- 9783540589761
- Place of printing
- New York
- Author
- Fisher, Michael, Owens, Richard (Eds.)
- Publishers
- Springer-Verlag
- Edition
- Reprint
- Keyword
- Computer Science
- Binding description
- Paperback
- State of preservation
- Very Good
- Languages
- English
- Binding
- Softcover
- First 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
