Implementing Mathematics with the Nuprl Proof Development System - R L Constable - Livros - Createspace - 9781468059106 - 23 de janeiro de 2012
Caso a capa e o título não sejam correspondentes, considere o título como correto

Implementing Mathematics with the Nuprl Proof Development System

Preço
€ 18,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 29 de mai - 12 de jun
Adicione à sua lista de desejos do iMusic
Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 23 de janeiro de 2012
ISBN13 9781468059106
Editoras Createspace
Páginas 310
Dimensões 152 × 229 × 17 mm   ·   417 g