Logic based program synthesis and transformation: 13th international symposium lopstr 2003, uppsala, sweden, august 25-27, 2003, revised selected papers
Auteur :
Bruynooghe, Maurice
ISBN :
9783540221746
Date de publication :
24 juin 2004
Dimensions :
23,4 x 15,6 x 1,3 cm
Poids :
780 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne