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 |