Formal Methods
portes grátis
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Rossi, Matteo; Pradella, Matteo; Platzer, Andre; Rozier, Kristin Yvonne
Springer International Publishing AG
09/2024
680
Mole
9783031711619
15 a 20 dias
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;design and analysis of algorithms;computational complexity and cryptography;embedded systems;model checking;formal methods;formal logic;machine learning;formal languages and automata theory;models of computation;semantics and reasoning;software engineering;theory and algorithms for application domains;Open Access
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;design and analysis of algorithms;computational complexity and cryptography;embedded systems;model checking;formal methods;formal logic;machine learning;formal languages and automata theory;models of computation;semantics and reasoning;software engineering;theory and algorithms for application domains;Open Access