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

Bibliographic Details
Main Authors: Chen, Mingsong. (Author), Qin, Xiaoke. (Author), Koo, Heon-Mo. (Author), Mishra, Prabhat. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer New York : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Subjects:

Sistema de Bibliotecas del Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available