System-Level Validation : High-Level Modeling and Directed Test Generation Techniques /

Detalles Bibliográficos
Autores principales: Chen, Mingsong. (Autor), Qin, Xiaoke. (Autor), Koo, Heon-Mo. (Autor), Mishra, Prabhat. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: eBook
Lenguaje:English
Publicado: New York, NY : Springer New York : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Materias:

Sistema de Bibliotecas del TEC

Detalle de Existencias desde Sistema de Bibliotecas del TEC
Copia Disponible