Reachability Problems
-15%
portes grátis
Reachability Problems
9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Potapov, Igor; Lasota, Slawomir; Bojanczyk, Mikolai
Springer International Publishing AG
09/2015
179
Mole
Inglês
9783319245362
15 a 20 dias
454
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.
Algebraic Structures;Automata Theory;Cellular Automata;Communicating Automata;Computability and Decidability;Computational Aspects of Semigroups, Groups, and Rings;Computational Models;Dynamical Systems;Formal Methods;Hybrid Systems;Petri Nets;Predictability in Iterative Maps;Probabilistic Automata;Reachability Analysis;Reachability Problems in Logic and Verification;Rewriting Systems;Theory of Computation;Timed Automata;Undecidable Reachability Problems
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Algebraic Structures;Automata Theory;Cellular Automata;Communicating Automata;Computability and Decidability;Computational Aspects of Semigroups, Groups, and Rings;Computational Models;Dynamical Systems;Formal Methods;Hybrid Systems;Petri Nets;Predictability in Iterative Maps;Probabilistic Automata;Reachability Analysis;Reachability Problems in Logic and Verification;Rewriting Systems;Theory of Computation;Timed Automata;Undecidable Reachability Problems
