Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science - Michael Fisher - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540589761 - 17 de fevereiro de 1995

Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

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

Michael Fisher

Preço

€ 63,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 29 de nov - 10 de dez

Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor

Melhor classificação na Trustpilot

Adicione à sua lista de desejos do 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

Mídia	Livros Paperback Book (Livro de capa flexível e brochura)
Lançado	17 de fevereiro de 1995
ISBN13	9783540589761
Editoras	Springer-Verlag Berlin and Heidelberg Gm
Páginas	188
Dimensões	156 × 234 × 10 mm · 281 g
Editor	Fisher, Michael
Editor	Owens, Richard