000 00643nam a2200169 4500
008 160616s2007 000 0
245 _aFoundations of software science and computational structures
_b10th international conference, FOSSACS 2007 held as part of the joint European conferences on theory and practice of software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 proceedings
100 _aSeidl, Helmut, Ed.
260 _aBerlin
260 _bSpringer
260 _c2007
300 _a377
440 _aLecture notes in computer science ; 04423
020 _a9783540713883
942 _cBK
_2BK22860
080 _a681 LNCS
999 _c22860
_d22860