NASA Formal Methods
-15%
portes grátis
NASA Formal Methods
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Munoz, Cesar; Dutle, Aaron; Narkawicz, Anthony
Springer International Publishing AG
03/2018
470
Mole
Inglês
9783319779348
15 a 20 dias
735
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.
artificial intelligence;automated theorem proving;code generation;computer software selection and evaluation;distributed computer systems;fault tolerance;formal methods;formal verification;model checking;problem solving;programming languages;real time systems;run-time verification;semantics;software engineering;specifications;temporal logic;verification
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;automated theorem proving;code generation;computer software selection and evaluation;distributed computer systems;fault tolerance;formal methods;formal verification;model checking;problem solving;programming languages;real time systems;run-time verification;semantics;software engineering;specifications;temporal logic;verification
