Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

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

Roggenbach, Markus; James, Phillip

Springer International Publishing AG

12/2017

223

Mole

Inglês

9783319720432

15 a 20 dias

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