Mostrando 1 - 2 Resultados de 2 Para Buscar 'TACAS (Conference)', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
    Publicado 2018
    “…TACAS (Conference)…”
    Libro electrónico
  2. 2
    Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    Publicado 2022
    “…TACAS (Conference)…”
    Libro electrónico

Herramientas de búsqueda: