Logic-Based Program Synthesis and Transformation
-15%
portes grátis
Logic-Based Program Synthesis and Transformation
27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Fioravanti, Fabio; Gallagher, John P.
Springer International Publishing AG
07/2018
341
Mole
Inglês
9783319944593
15 a 20 dias
551
Descrição não disponível.
Analysis.- Program development.- Term rewriting and CHR.- Theory.- Verification.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;codes;computer architecture;constraint programming;deadlock;formal logic;formal methods;logic programming;model checking;program compilers;programming languages;semantics;software engineering;software evaluation;symbols;theorem proving;verification
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
