FormaliSE 2017 : 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering : proceedings : 27 May 2017, Buenos Aires, Argentina

FormaliSE 2017 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering : proceedings : 27 May 2017, Buenos Aires, Argentina

Detalles Bibliográficos
Autor Corporativo: FME Workshop on Formal Methods in Software Engineering (-)
Formato: Libro electrónico
Idioma:Inglés
Publicado: Piscataway, New Jersey : IEEE Press 2017.
Colección:ACM Conferences
Materias:
Formal methods (Computer science) > Congresses.
Software engineering > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712879006719
Descripción
Notas:Includes index.
Descripción Física:1 online resource (94 pages)
ISBN:9781538604229

Ejemplares similares