Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Bertacco, Valeria

Bertacco, Valeria (Имя лица)

Number of records used in: 3
Preferred form: Bertacco, Valeria

Machine generated authority record.

Work cat.: (RU-ToGU): Bertacco, Valeria., Scalable Hardware Verification with Symbolic Simulation, 2006.