Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelon - detaljert visning

Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers

WADT 2004
Bok Engelsk 2005


Utgitt	Berlin : Springer , c2005
Omfang	VIII, 269 s. : ill.
Emner	Algebraisk spesifikasjon (Programutvikling) Programutvikling
ISBN	3540253270