Reachability Problems
portes grátis
Reachability Problems
16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings
Potapov, Igor; Lin, Anthony W.; Zetzsche, Georg
Springer International Publishing AG
10/2022
179
Mole
Inglês
9783031191343
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.
architecture verification and validation;artificial intelligence;automata theory;computer programming;computer systems;distributed computer systems;distributed systems;embedded systems;formal languages;formal logic;graph theory;model checking;software architecture;software design;software engineering;theoretical computer science
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;automata theory;computer programming;computer systems;distributed computer systems;distributed systems;embedded systems;formal languages;formal logic;graph theory;model checking;software architecture;software design;software engineering;theoretical computer science
