TY - BOOK TI - Verification and validation in systems engineering : : assessing UML/SysML design models SN - 9783642152276 (pasta dura) AV - QA76.758 V47 2010 PY - 2010/// CY - Berlin, Heidelberg, New York PB - Springer, KW - Ciencias computacionales KW - Problemas, ejercicios, etc KW - Matemáticas KW - Ingeniería de software ER -