Product Overview
Importante: Este libro es importado y podría tener una demora de 30 días.
Titulo: Automated Theorem Proving in Software Engineering
Formato: Hardback
Autor: Johann M. Schumann
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Lenguaje: English
Páginas: 228
ISBN: 9783540679899