First-order Dynamic Logic - Lecture Notes in Computer Science - D. Harel - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540092377 - 1 de abril de 1979
Caso a capa e o título não sejam correspondentes, considere o título como correto

First-order Dynamic Logic - Lecture Notes in Computer Science 1979 edition

D. Harel

Preço
元 106
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 16 - 22 de jul
Adicione à sua lista de desejos do iMusic

First-order Dynamic Logic - Lecture Notes in Computer Science 1979 edition

136 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 1 de abril de 1979
ISBN13 9783540092377
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 136
Dimensões 156 × 234 × 8 mm   ·   217 g
Idioma English  

Ver tudo de D. Harel ( por exemplo Paperback Book )