Mostrando 1 - 4 Resultados de 4 Para Buscar 'Legay, Axel.', tiempo de consulta: 0.01s Limitar resultados
1
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
Publicado 2017
Otros Autores: “...Legay, Axel....”
eBook
2
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Publicado 2017
Otros Autores: “...Legay, Axel....”
eBook
3
Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers /
Publicado 2017
Otros Autores: “...Legay, Axel....”
eBook
4
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Publicado 2017
Otros Autores: “...Legay, Axel....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda