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