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 | Libros antiguos y modernos | Fisher, Michael, Owens, Richard (Eds.)
Libros antiguos y modernos
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 | Libros antiguos y modernos | Fisher, Michael, Owens, Richard (Eds.)
Libros antiguos y modernos
Fisher, Michael, Owens, Richard (Eds.)
Springer-Verlag,
1995
28,20 €
(Lexington,
Estados Unidos)
Formas de Pago
- PayPal
- Tarjeta de crédito
- Transferencia Bancaria
- Pubblica amministrazione
- Carta del Docente
Detalles
- Año de publicación
- 1995
- ISBN
- 9783540589761
- Lugar de impresión
- New York
- Autor
- Fisher, Michael, Owens, Richard (Eds.)
- Editores
- Springer-Verlag
- Edición
- Reprint
- Materia
- Computer Science
- Descripción
- Paperback
- Conservación
- Muy bueno
- Idiomas
- Inlgés
- Encuadernación
- Tapa blanda
- Primera edición
- False
Descripción
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
