Software Engineering and Formal Methods
portes grátis
Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
Chai, Ming; Schlingloff, Bernd-Holger
Springer International Publishing AG
09/2022
369
Mole
Inglês
9783031171079
15 a 20 dias
593
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;databases;distributed computer systems;distributed systems;embedded systems;engineering;formal logic;linguistics;mathematics;model checking;object-oriented programming;parallel processing systems;software;software architecture;software design;software quality;verification;verification and validation
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;databases;distributed computer systems;distributed systems;embedded systems;engineering;formal logic;linguistics;mathematics;model checking;object-oriented programming;parallel processing systems;software;software architecture;software design;software quality;verification;verification and validation
