Formal Techniques for Distributed Objects, Components, and Systems
portes grátis
Formal Techniques for Distributed Objects, Components, and Systems
42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
Philippou, Anna; Mousavi, Mohammad Reza
Springer International Publishing AG
06/2022
209
Mole
Inglês
9783031086786
15 a 20 dias
349
Descrição não disponível.
Índice não disponível.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;computational linguistics;computer programming;computer science;computer systems;databases;embedded systems;formal logic;graph theory;linguistics;mathematics;model checking;software architecture;software design;software engineering;software quality;theoretical computer science;verification
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;computational linguistics;computer programming;computer science;computer systems;databases;embedded systems;formal logic;graph theory;linguistics;mathematics;model checking;software architecture;software design;software engineering;software quality;theoretical computer science;verification
