Corradini, Andrea,Montanari, U. (Eds.) (2009) Recent trends in algebraic development techniques19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers Berlin ; Springer,MLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Recent trends in algebraic development techniques [electronic resource] : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /
Andrea Corradini, Ugo Montanari (eds.).
|Names:||Corradini, Andrea, | Montanari, U.|
|Published:||Berlin ; Springer, c2009.|
Lecture notes in computer science ; 5486.
LNCS sublibrary. SL 1 Theoretical computer science and general issues.
|Topics:||Computer software - Development - Congresses. | Computer science - Mathematics - Congresses. | Abstract data types (Computer science) - Congresses.|