Proceedings of the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design
Annotation Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference fro...
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Piscataway :
IEEE
2016.
|
| Colección: | ACM Conferences
|
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714419406719 |
