1.
Record Nr.
UNINA9910130826603321
Titolo
2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign
Pubbl/distr/stampa
[Place of publication not identified], : IEEE, 2012
ISBN
1-4673-1313-0
Descrizione fisica
1 online resource
Collana
ACM Conferences
Disciplina
004.0151
Soggetti
Formal methods (Computer science)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia
Note generali
Bibliographic Level Mode of Issuance: Monograph