Recent trends in algebraic development techniques

Name: Recent trends in algebraic development techniques
Author: WADT 2001 (2001 Genoa, Italy)

by WADT 2001 (2001 Genoa, Italy)

Cover of Recent trends in algebraic development techniques

No description available.

Abstract data types (Computer science)Computer scienceComputer softwareCongressesDevelopmentMathematicsComputer software, developmentComputer science, mathematicsAbstract data types (computer science)