Resultados da pesquisa - "Formal methods (Computer science)"

  • A mostrar 1 - 7 resultados de 7
Refinar resultados
  1. Formal methods in architecture and urbanism /

    Publicado em 2018.
    Assuntos: “...Formal methods (Computer science)...”
    Obter o texto integral
    Ver en el OPAC
    Recurso Electrónico livro electrónico
  2. Software specification methods /

    Publicado em 2006.
    Assuntos: “...Formal methods (Computer science)...”
    Obter o texto integral
    Ver en el OPAC
    Recurso Electrónico livro electrónico
  3. Formal methods in architecture and urbanism.

    Publicado em [2021]
    Assuntos: “...Formal methods (Computer science)...”
    Obter o texto integral
    Ver en el OPAC
    Recurso Electrónico livro electrónico
  4. Formal ontology in information systems : proceedings of the 10th International Conference (FOIS 2018) /

    Publicado em [2018]
    Assuntos: “...Formal methods (Computer science) Congresses....”
    Obter o texto integral
    Ver en el OPAC
    Recurso Electrónico livro electrónico
  5. Teamwork in multi-agent systems a formal approach / Por Dunin-Kȩplicz, Barbara

    Publicado em 2010.
    Assuntos: “...Formal methods (Computer science)...”
    Obter o texto integral
    Ver en el OPAC
    Recurso Electrónico livro electrónico
  6. Formal method : industrial use from model to the code /

    Publicado em 2012.
    Assuntos: “...Formal methods (Computer science)...”
    Obter o texto integral
    Ver en el OPAC
    Recurso Electrónico livro electrónico
  7. Communicating embedded systems : software and design : formal methods /

    Publicado em 2010.
    Assuntos: “...Formal methods (Computer science)...”
    Obter o texto integral
    Ver en el OPAC
    Recurso Electrónico livro electrónico