Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA

• Record Nr.: UNISA996198857703316
• Pubbl/distr/stampa: [Place of publication not identified], : IEEE Computer Society, 2006
• ISBN: 1-5090-9184-X
• Disciplina: 621.3815
• Soggetti: Digital integrated circuits - Computer-aided design; Integrated circuits - Verification; Formal methods (Computer science) - Mathematics - Design and construction; Digital integrated circuits; Electrical & Computer Engineering; Engineering & Applied Sciences; Electrical Engineering
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph