000 00475 a2200157 4500
035 _a
090 _c10121
_d10121
100 _aReiser, Angelika
245 _aKorrektheitsnachweis eines Synchronisations-Protokolls fur verteilte Datenbaksysteme
_cAngelika Reiser
260 _aMunchen
_bUniversitat Munchen
_c1979
300 _a103 p
_bfig
_c20 cm
440 _aTUM
_nI 8210
500 _aLucrarea este multigrafiata
500 _aContine bibliografie
942 _aIMAR
_cCART
_sSN
999 _c9924
_d9924