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

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
R$ 311,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 18 - 24 de nov
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
Idioma German  
Editor Fisher, Michael
Editor Owens, Richard
Mostrar tudo

Mais por Michael Fisher

Ver tudo de Michael Fisher ( por exemplo Paperback Book , Hardcover Book e CD )