Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium - - Livros - Taylor & Francis Inc - 9781568811451 - 2 de abril de 2001
Caso a capa e o título não sejam correspondentes, considere o título como correto

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium 1º edição

Preço
R$ 833,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 12 de out

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

Ainda não avaliado

While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary

288 pages, 50ill.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 2 de abril de 2001
ISBN13 9781568811451
Editoras Taylor & Francis Inc
Páginas 284
Dimensões 150 × 220 × 20 mm   ·   690 g
Idioma Inglês  
Editor Kerber, Manfred
Editor Kohlhase, Michael

Mais da mesma editora