Foundations of software science and computation structures : 7th International Conference, FoSSaCS 2004 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings - FOSSACS 2004 (Barcelona, Španělsko); Walukiewicz, Igor, 1968-; ETAPS (konference) 2004 : Barcelona, Španělsko) (Berlin : Springer, 2004)