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

Michael Fisher

Precio

NOK 749

Pedido desde almacén remoto

Entrega prevista 23 de may. - 3 de jun.

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

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

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
Editor	Fisher, Michael
Editor	Owens, Richard

Mostrar todo

Mas por Michael Fisher

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