Product Overview
Importante: este producto es importado y puede tener una demora de 30 días. 
Titulo: Modeling and Verification of Real-time Systems: Formalisms and Software Tools
Año: 2008
Autor: Navet
Editorial: Global Research
Lenguaje: 
ISBN: 9781848210134
SKU-INT: WLEY026221