Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Autor Corporativo: | SpringerLink (Online service) |
---|---|
Otros Autores: | Aceto, Luca. (Editor ), Bacci, Giorgio. (Editor ), Bacci, Giovanni. (Editor ), Ingólfsdóttir, Anna. (Editor ), Legay, Axel. (Editor ), Mardare, Radu. (Editor ) |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Edición: | 1st ed. 2017. |
Colección: | Theoretical Computer Science and General Issues ;
10460 |
Materias: |
Ejemplares similares
-
Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers /
Publicado: (2017) -
Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers /
Publicado: (2017) -
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
Publicado: (2017) -
Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings /
Publicado: (2017) -
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Publicado: (2017)