Interactive Theorem Proving
-15%
portes grátis
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Merz, Stephan; Blanchette, Jasmin Christian
Springer International Publishing AG
08/2016
502
Mole
Inglês
9783319431437
15 a 20 dias
7781
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.
distributed systems;formal security models;logic and verification;model checking;verification;completeness;first-order logic;formalized mathematics;Fourier transform;graph transformation;higher order logic;Isabelle/HOL;knowledge representation and reasoning;proof assistant;semantics;software verification;soundness;symbolic execution;theorem proofing;type theory
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
distributed systems;formal security models;logic and verification;model checking;verification;completeness;first-order logic;formalized mathematics;Fourier transform;graph transformation;higher order logic;Isabelle/HOL;knowledge representation and reasoning;proof assistant;semantics;software verification;soundness;symbolic execution;theorem proofing;type theory
