ForMABS '16 : proceedings of the International Workshop on Formal Methods for Analysis of Business Systems : September 4, 2016, Singapore

ForMABS '16 proceedings of the International Workshop on Formal Methods for Analysis of Business Systems : September 4, 2016, Singapore

Detalles Bibliográficos
Autor Corporativo: ACM Sigsoft, sponsoring body (sponsoring body)
Otros Autores: Naik, Ravindra, editor (editor), Medicherla, Raveendra Kumar, editor, Banerjee, Ansuman, editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: New York : ACM 2016.
Colección:ACM Conferences
Materias:
Formal methods (Computer science) > Congresses.
Management information systems > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714415106719
Descripción
Notas:Includes index.
Descripción Física:1 online resource (16 pages)
ISBN:9781450342148

Ejemplares similares