2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign

• Record Nr.: UNISA996200711803316
• Pubbl/distr/stampa: [Place of publication not identified], : IEEE, 2010
• ISBN: 1-4244-7886-3
• Descrizione fisica: 1 online resource
• Collana: ACM Conferences
• Disciplina: 004.0151
• Soggetti: Formal methods (Computer science); Computer simulation
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph