FormaliSE 2018 : 2018 ACM/IEEE Conference on Formal Methods in Software Engineering : proceedings : Gothenburg, Sweden, 2 June 2018

FormaliSE 2018 2018 ACM/IEEE Conference on Formal Methods in Software Engineering : proceedings : Gothenburg, Sweden, 2 June 2018

Detalles Bibliográficos
Autores Corporativos: FME Workshop on Formal Methods in Software Engineering (-), IEEE Computer Society, author (author)
Formato: Libro electrónico
Idioma:Inglés
Publicado: Los Alamitos, California : IEEE Computer Society 2018.
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/alma991009714516606719
Descripción
Descripción Física:1 online resource (90 pages)
ISBN:9781450357180

Ejemplares similares