Formal Methods
portes grátis
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Rozier, Kristin Yvonne; Platzer, Andre; Pradella, Matteo; Rossi, Matteo
Springer International Publishing AG
09/2024
652
Mole
9783031711763
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.
Open Access;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.
Open Access;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
