Automated Deduction -- Cade-23 : Nikolaj Bjorner

(No reviews yet) Write a Review
Brazilian Real
$531.70
SKU:
9783642224379
Autor:
Viorica Sofronie-stokkermans
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-23 : Nikolaj Bjorner

Formato: Blanda

Autor: Viorica Sofronie-stokkermans

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

Lenguaje: English

ISBN: 9783642224379

Reviews

(No reviews yet) Write a Review