Cargando…
From software engineering to formal methods and tools, and back: essays dedicated to Stefania Gnesi on the occasion of her 65th birthday
Autores principales: | ter Beek, Maurice H, Fantechi, Alessandro, Semini, Laura |
---|---|
Lenguaje: | eng |
Publicado: |
Springer International Publishing AG
2019
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2755920 |
Ejemplares similares
-
Logic, rewriting, and concurrency: essays dedicated to José Meseguer on the occasion of his 65th birthday
por: Martí-Oliet, Narciso, et al.
Publicado: (2015) -
Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday
por: Ábrahám, Erika, et al.
Publicado: (2016) -
The art of modelling computational systems: essays dedicated to catuscia palamidessi on the occasion of her 60th birthday
por: Alvim, Mário S, et al.
Publicado: (2019) -
Programming languages with applications to biology and security: essays dedicated to pierpaolo degano on the occasion of his 65th birthday
por: Bodei, Chiara, et al.
Publicado: (2015) -
Embedded, cyber-physical, and IoT systems: essays dedicated to Marilyn Wolf on the occasion of her 60th birthday
por: Bhattacharyya, Shuvra S, et al.
Publicado: (2019)