Product Overview
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