Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science - Michael Fisher - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540589761 - 17 de febrero de 1995
En caso de que portada y título no coincidan, el título será el correcto

Michael Fisher
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science Annotated edition

Precio
€ 49,99

Pedido desde almacén remoto

Entrega prevista 1 - 9 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Presents the revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. This title addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints.

188 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de febrero de 1995
ISBN13 9783540589761
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 188
Dimensiones 156 × 234 × 10 mm   ·   281 g
Lengua Alemán  
Editor Fisher, Michael
Editor Owens, Richard

Mas por Michael Fisher

Mostrar todo

Ver todo de Michael Fisher ( Ej. Paperback Book , Hardcover Book y CD )