• Logic based program synthesis...
  • *Description*

*Result*: Logic based program synthesis and transformation

*Title*:
Logic based program synthesis and transformation : 14th international symposium ; revised selected papers / LOPSTR 2004, Verona, Italy, August 26 - 28, 2004. Sandro Etalle (ed.)
*Author/editor-in-chief*:
Etalle, Sandro
*Corporate*:
LOPSTR (14 : 2004 : Verona)
*Publication*:
Berlin : Springer, 2005
*Physical description scale*:
1 Online-Ressource
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 3573
*show_all_volumes*
*Subject Added Keywords*:
*DOI*:
10.1007/b137785

*Additional information*

*Additional functions*