Cargando…
Software technologies: STAF 2017 collocated workshops, Marburg, Germany, July 17-21, 2017, revised selected papers
Autores principales: | Seidl, Martina, Zschaler, Steffen |
---|---|
Lenguaje: | eng |
Publicado: |
Springer International Publishing AG
2018
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2757224 |
Ejemplares similares
-
Tests and proofs: 11th international conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017, proceedings
por: Gabmeyer, Sebastian, et al.
Publicado: (2017) -
Software technologies: STAF 2016 collocated workshops DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, revised selected papers
por: Milazzo, Paolo, et al.
Publicado: (2016) -
Combinatorial algorithms: 28th international workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, revised selected papers
por: Brankovic, Ljiljana, et al.
Publicado: (2018) -
Verified software theories, tools, and experiments: 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, revised selected papers
por: Paskevich, Andrei, et al.
Publicado: (2017) -
Software technologies: 12th international joint conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, revised selected papers
por: Cabello, Enrique, et al.
Publicado: (2018)