2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
| Aineistotyyppi: | Elektroninen Kirja |
|---|---|
| Kieli: | English |
| Julkaistu: |
IEEE
|
| Aiheet: | |
| Linkit: | Full text available on IEEE [2017-2023] Off-campus access |
| Classic Catalogue: | View this record in Classic Catalogue |
| Huomautukset: | <strong>Off-Campus Access:</strong> Athens ID and Password Required <strong>On-Campus Access:</strong> No User ID or Password Required |
|---|---|
| Ulkoasu: | 1 online resource |
| Aineistotyyppi: | Mode of access: Internet |
| ISBN: | 978-1-5090-2791-0 978-1-5090-2792-7 |
| Pääsy: | Electronic access restricted to authorized BRAC University faculty, staff and students |