Recent trends in algebraic development techniques

Name: Recent trends in algebraic development techniques
Author: WADT 2004 (2004 Barcelona, Spain)

by WADT 2004 (2004 Barcelona, Spain)

Cover of Recent trends in algebraic development techniques

No description available.

Abstract data types (Computer science)Computer scienceComputer softwareCongressesDevelopmentMathematicsInformatiqueDeveloppementCOMPUTERSProgrammingCongresTypes abstraits de donnees (Informatique)