Se você tem uma conta UA, por favor clique para autenticar-se.
Vol. 2: Formal VLSI correctness verification. - XV, 427 p. Vol. 1: Formal VLSI specification and synthesis. - XV, 414 p
© 2017 Universidade de Aveiro
Powered by Koha
Idiomas:
Português