Resultados da pesquisa - "Formal methods (Computer science)"
Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
- Formal methods (Computer science) 7 [excluír]
- Data processing 3 [excluír]
- Architecture 2 [excluír]
- Computer software 2 [excluír]
- Development 2 [excluír]
- Application software 1 [excluír]
- Artificial intelligence 1 [excluír]
- Design and construction 1 [excluír]
- Embedded computer systems 1 [excluír]
- Intelligent agents (Computer software) 1 [excluír]
- Management 1 [excluír]
- Ontologies (Information retrieval) 1 [excluír]
- Programming 1 [excluír]
- Railroads 1 [excluír]
-
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 -
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 -
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 -
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 -
Teamwork in multi-agent systems a formal approach /
Publicado em 2010.Assuntos: “...Formal methods (Computer science)...”
Obter o texto integral
Ver en el OPAC
Recurso Electrónico livro electrónico -
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 -
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