000 00557nam a2200169Ia 4500
008 230718s9999 xx 000 0 und d
020 _a9783540232520
041 _aeng
082 _a004.6'2
_bFRU
100 _aFrutos-Escrig D.D. (Editor)
_9175330
245 _aFormal Techniques For Networked And Distributed Systems-FORTE 2004, LNCS 3235
260 _c2004
_bSpringer Pub.
300 _a375
365 _cRs.
_b995.00
700 _aFrutos-Escrig D.D. (Editor) & Nunez M. (Editor)
_9191753
906 _dO:0142322-Dec-2010B:602727-Oct-2010
_cCOMP
_b248.75
999 _c326745
_d326745