Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign Visualizza cluster
Pubblicazione: [Place of publication not identified], : IEEE, 2010
Descrizione fisica: 1 online resource
Disciplina: 004.0151
Soggetto topico: Formal methods (Computer science)
Computer simulation
Persona (resp. second.): ieee
Note generali: Bibliographic Level Mode of Issuance: Monograph
Altri titoli varianti: MEMOCODE '10
Titolo autorizzato: 2010 8th IEEE  Visualizza cluster
ISBN: 1-4244-7886-3
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910140836603321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: ACM Conferences