Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings Warren A. Hunt, Steven D. Johnson creator (edición) text monographic ING 1 libro electrónico en línea (XII, 552 p.) 1 recurso en línea Licencias ilimitadas Catalogación rápida XX Libro en línea (Lecture Notes in Computer Science) 978-3-540-40922-9 1611-3349 Acervo ITESO - Biblioteca https://link-springer-com.ezproxy.iteso.mx/10.1007/3-540-40922-X Licencias ilimitadas 000602874