10% de desconto

Verificación Formal En Acl2 Del Algoritmo De Buchberger

de Inmaculada Medina Bulo
idioma: espanhol
Editor: Universidad de Cadiz. Servicio de Public, dezembro de 2004 ‧
35,85€
10% DESCONTO CARTÃO
portes grátis

Verificación Formal En Acl2 Del Algoritmo De Buchberger

de Inmaculada Medina Bulo

Propriedade Descrição
ISBN: 9788496274273
Editor: Universidad de Cadiz. Servicio de Public
Data de Lançamento: dezembro de 2004
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 em Espanhol > Ciências Exatas e Naturais > Matemática
EAN: 9788496274273