MEMOCODE '17 15th ACM-IEEE International Conference on Formal Methods and Models for System Design : Vienna, Austria, September 29-October 2, 2017

Detalles Bibliográficos
Otros Autores:	Talpin, Jean-Pierre, editor (editor)
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	New York : ACM 2017.
Colección:	ACM Conferences
Materias:	Formal methods (Computer science) > Congresses.
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713892306719

Descripción
Descripción Física:	1 online resource (192 pages)

Ejemplares similares