Automated Deduction - Cade-17 : David Mcallester

(No reviews yet) Write a Review
Internacional
$400.00
SKU:
9783540676645
Autor:
David McAllester
Editorial:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Cover book

Product Overview

Importante: este producto es importado y puede tener una demora de 30 días. 

Titulo: Automated Deduction - Cade-17 : David Mcallester

Formato: Blanda

Autor: David McAllester

Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Lenguaje: English

ISBN: 9783540676645

Reviews

(No reviews yet) Write a Review