Integrated Formal Methods
portes grátis
Integrated Formal Methods
17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
ter Beek, Maurice H.; Monahan, Rosemary
Springer International Publishing AG
06/2022
373
Mole
Inglês
9783031077265
15 a 20 dias
599
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.
architecture verification and validation;artificial intelligence;computer programming;computer systems;embedded systems;engineering;formal languages;formal logic;formal methods;graph theory;model checking;programming languages;signal processing;software architecture;software design;software engineering;software quality;theoretical computer science;verification and validation
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecture verification and validation;artificial intelligence;computer programming;computer systems;embedded systems;engineering;formal languages;formal logic;formal methods;graph theory;model checking;programming languages;signal processing;software architecture;software design;software engineering;software quality;theoretical computer science;verification and validation
