IMP -Decision Procedures : An Algorithmic Point of View

(No reviews yet) Write a Review

Internacional

$212.30

SKU:

9783662504963

Autor:

Daniel Kroening

Editorial:

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Importante: Este libro es importado y podría tener una demora de 30 días.

Titulo: Decision Procedures : An Algorithmic Point of View

Formato: Hardback

Autor: Daniel Kroening

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

Lenguaje: English

Páginas: 356

ISBN: 9783662504963

(No reviews yet) Write a Review

Write a Review