Resultados da pesquisa - "system construction and transformation techniques"

Sugestões de Tópicos dentro de sua pesquisa.
  • A mostrar 1 - 8 resultados de 8
Refinar resultados
  1. 1
    Imagem da capa

    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 o...

    Publicado em 2022
    Assuntos: “...system construction and transformation techniques...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro

    Adic. favoritos
    Na minha lista:
  2. 2
    Imagem da capa

    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 o...

    Publicado em 2022
    Assuntos: “...system construction and transformation techniques...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Recurso Electrónico Capítulo de Livro

    Adic. favoritos
    Na minha lista:
  3. 3
    Imagem da capa

    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 o...

    Publicado em 2022
    Assuntos: “...system construction and transformation techniques...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro

    Adic. favoritos
    Na minha lista:
  4. 4
    Imagem da capa

    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 o...

    Publicado em 2022
    Assuntos: “...system construction and transformation techniques...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Recurso Electrónico Capítulo de Livro

    Adic. favoritos
    Na minha lista:
  5. 5
    Imagem da capa

    Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

    Publicado em 2020
    Assuntos: “...system construction and transformation techniques...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro

    Adic. favoritos
    Na minha lista:
  6. 6
    Imagem da capa

    Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

    Publicado em 2020
    Assuntos: “...system construction and transformation techniques...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro

    Adic. favoritos
    Na minha lista:
  7. 7
    Imagem da capa

    Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

    Publicado em 2020
    Assuntos: “...system construction and transformation techniques...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Recurso Electrónico Capítulo de Livro

    Adic. favoritos
    Na minha lista:
  8. 8
    Imagem da capa

    Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

    Publicado em 2020
    Assuntos: “...system construction and transformation techniques...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Recurso Electrónico Capítulo de Livro

    Adic. favoritos
    Na minha lista:

Ferramentas de pesquisa: