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

Name: Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science
Price: 958 MXN
Availability: OutOfStock
Author: Michael Fisher

Precio

Mex$ 958

sin IVA

Pedido desde almacén remoto

Entrega prevista 20 - 30 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Aún no valorado

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

Michael Fisher

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
Lengua	Alemán
Editor	Fisher, Michael
Editor	Owens, Richard