Cerca per Matèria model checking
Mostrant resultats 1 a 1 de 1
Data de publicació | Títol | Autor(s) |
---|---|---|
2014-10 | Experiences in digital circuit design courses: a self-study platform for learning support | Baneres, David; Clarisó, Robert; Jorba, Josep; Serra, Montse; Universitat Oberta de Catalunya (UOC) |