Recent Trends in Algebraic Development Techniques

-15% portes grátis

título Recent Trends in Algebraic Development Techniques

subtítulo 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

autor Roggenbach, Markus; James, Phillip

editor Springer International Publishing AG

data de edição 12/2017

número de páginas 223

capa Mole

idioma Inglês

ISBN13 9783319720432

prazo de entrega 15 a 20 dias

peso (gramas) 3635

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;Computer programming;Distributed computing models;Equational logic and rewriting;Formal logic;Formal methods;Model checking;Problem solving;Programming languages;Project management;Semantics;Software engineering;Specification languages;Specifications;Theorem proving