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$ 339,90

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 19 - 29 de abr
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 Tyskland, 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

Mostrar tudo

Mais por Michael Fisher