FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the di...
Guardado en:
Autores principales: | Bjørner, Nikolaj, de Boer, Frank |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Springer
2015
|
Materias: | |
Acceso en línea: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58543 |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Ejemplares similares
-
Formal Methods for Industrial Critical Systems:
20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
por: Núñez, Manuel, et al.
Publicado: (2015) -
The
por: Becker, Jasper
Publicado: (2000) -
Prison Inmates Living with HIV in India:
Case Studies from Prisons in Maharashtra
por: Guin, Sayantani
Publicado: (2015) -
Internet, phone, mail, and mixed-mode surveys : the tailored design method
por: Dillman, Don A, et al.
Publicado: (2015) -
The Changing World Religion Map:
Sacred Places, Identities, Practices and Politics
por: Brunn, Stanley D
Publicado: (2015)