Product Overview
Importante: este producto es importado y puede tener una demora de 30 días. 
Titulo: Verification, Model Checking, And Abstract Interpretation :
Formato: Blanda
Autor: Leonore D. Zuck
Editorial: -
Lenguaje: English
ISBN: 9783540781622