Theorem Proving In Higher Order Logics: 13Th International Conference, Tphols 2000 Portland, Or, USA, August 14-18, 2000 Proceedings-..
-
- 1x de R$ 456,42 sem juros
- 2x de R$ 228,21 sem juros
- 3x de R$ 152,14 sem juros
- 4x de R$ 114,10 sem juros
-
R$ 433,60
-
R$ 456,42
| ISBN | 9783540678632 |
| Autor(a) | Aagaard, Mark D. |
| Editora | Springer Publishing |
| Ano de edição | 2000 |
| Páginas | 539 |
| Acabamento | Brochura |
Produtos relacionados
-
Concur 2000 - Concurrency Theory: 11Th International Conference, University Park, Pa, USA, August 22-25, 2000 Proceedings-..R$ 912,92até 4x de R$ 228,23 sem jurosou R$ 867,27 via Pix -
Computer Aided Verification: 12Th International Conference, Cav 2000 Chicago, Il, USA, July 15-19, 2000 Proceedings-..R$ 912,92até 4x de R$ 228,23 sem jurosou R$ 867,27 via Pix
-
Languages And Compilers For Parallel Computing: 13Th International Workshop, Lcpc 2000, Yorktown Heights, Ny, USA, August 10-12, 2000, Revised Papers-..R$ 456,42até 4x de R$ 114,10 sem jurosou R$ 433,60 via Pix
-
Adaptive Hypermedia And Adaptive Web-Based Systems: International Conference, Ah 2000, Trento, Italy, August 28-30, 2000 Proceedings-..R$ 456,42até 4x de R$ 114,10 sem jurosou R$ 433,60 via Pix
-
Categorias
Conteúdo
Sobre a loja
Myre Livraria, sua livraria online especializada em importação e revenda de livros nacionais e internacionais. Oferecemos uma vasta seleção de materiais didáticos de alta qualidade para aprender inglês, espanhol, francês, alemão e muito mais. Aproveite preços competitivos e entrega rápida em todo o Brasil
Pague com
Selos
Myre Editora Ltda. - CNPJ: 50.295.718/0001-20 © Todos os direitos reservados. 2026
