MEMOCODE : 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design : 15-18 October 2018, Beijing, China

MEMOCODE 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design : 15-18 October 2018, Beijing, China

Detalles Bibliográficos
Autores Corporativos: ACM and IEEE International Conference on Formal Methods and Models for Co-Design (-), Institute of Electrical and Electronics Engineers, author (author)
Formato: Libro electrónico
Idioma:Inglés
Publicado: Piscataway, New Jersey : Institute of Electrical and Electronics Engineers 2018.
Colección:ACM Conferences
Materias:
Formal methods (Computer science) > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714253906719
Descripción
Descripción Física:1 online resource (862 pages)
ISBN:9781538661956

Ejemplares similares