1
Publicado em 2006
Sumário: ... Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System...
Obter o texto integral
Recurso Electrónico livro electrónico