Matemática

Verificación Formal En Acl2 Del Algoritmo De Buchberger

de Inmaculada Medina Bulo 

Verificación Formal En Acl2 Del Algoritmo De Buchberger
idioma: Espanhol
Editor: Universidad de Cadiz. Servicio de Public
Edição: dezembro de 2004
Portes
Grátis
10%
35,85€
Poupe 3,59€ (10%) Cartão Leitor Bertrand
RESERVAR NA LIVRARIA Livrarias
Verificación Formal En Acl2 Del Algoritmo De Buchberger
de Inmaculada Medina Bulo 
ISBN:
9788496274273
Ano de edição:
12-2004
Editor:
Universidad de Cadiz. Servicio de Public
Idioma:
Espanhol
Dimensões:
150 x 230 x 23 mm
Encadernação:
Capa mole
Páginas:
1
Tipo de Produto:
Livro
Classificação Temática:
Livros  >  Livros em Espanhol  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9788496274273
Biblioteca Estandar De C, La
10%
portes grátis
10% Cartão Leitor Bertrand
12,74€
Servicio de Publicaciones de la Universidad de Cad
Por Fin C Iso
10%
portes grátis
10% Cartão Leitor Bertrand
12,74€
Servicio de Publicaciones de la Universidad de Cad
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.