Opening book details…
About this nonfiction
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) by Naik, Nikhil (author);Nuzzo, Pierluigi (author) is a nonfiction available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Naik, Nikhil (author);Nuzzo, Pierluigi (author)
- Publisher
- IEEE
- Published
- 2020
- Language
- EN
- Category
- nonfiction
More by Naik, Nikhil (author);Nuzzo, Pierluigi (author)
Browse all works by Naik, Nikhil (author);Nuzzo, Pierluigi (author)
Similar books
- 2020 IEEE 18th International Conference on Industrial Informatics (INDIN) — Jiang, ShuaiQuan; Zhu, ZhiYu (2020)
- 2021 IEEE/ACM 18th International Conference on Mining Software Repositories (MSR) — Fournier, Quentin; Aloise, Daniel; Azhari, Seyed Vahid; Tetreault, Francois (2021)
- 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) — Belmonte, Gina; Broccia, Giovanna; Ciancia, Vincenzo; Latella, Diego; Massink, Mieke (2021)
- Formal Methods and Models for System Design : A System Level Perspective — Manfred Broy (auth.), Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin (2004)
- IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN 1994 — sponsored by IEEE Computer Society, IEEE Circuits and Systems Society, in cooperation with IEEE Electron Devices (1994)
- Proceedings / ACM IEEE Design Automation Conference. — ACM IEEE Design Automation Conference.; Association for Computing Machinery.; Institute of Electrical and Electronics Engineers.; ACM Special Interest Group on Design Automation.; IEEE Computer Society. Design Automation Technical Committee.; Electronic Design Automation Companies (1988)