Mostrando 1 - 4 Resultados de 4 Para Buscar 'Beyer, Dirk', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings
    por Beyer, Dirk
    Publicado 2024
    Otros Autores: “…Beyer, Dirk…”
    Libro electrónico
  2. 2
    Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
    Publicado 2019
    Otros Autores: “…Beyer, Dirk…”
    Libro electrónico
  3. 3
    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 I
    Publicado 2018
    Otros Autores:
    Libro electrónico
  4. 4
    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
    Otros Autores:
    Libro electrónico

Herramientas de búsqueda: