01346nam--2200349---450-99000307600020331620080410125931.0978-3-540-71388-3000307600USA01000307600(ALEPH)000307600USA0100030760020080306d2007----km-y0itay0103----baengDEa|||||||001yyFoundations of software science and computational structures10th International Conferene, FOSSACS 2007Held as part of the joint european conferences on theory and practice of software, ETAPS 2007Braga, Portugal, March/April 2007proceedingsHelmut Seidl (Ed.)Berlin [etc.]Springercopyr. 2007XVI, 377 p.ill.24 cm.Lecture notes in computer science44232001Lecture notes in computer science4423SEIDL,HelmutInternational conference FOSSACS 2007<10.;2007;Praga>600566ITAsalbcISBD990003076000203316001 LNCS 442334618/CBS00100217114BKSCIANGELA9020080306USA011225ANGELA9020080410USA011259Foundations of software science and computational structures1023282UNISA