000 00307nam a22001217a 4500
008 170731b xxu||||| |||| 00| 0 eng d
041 _aeng
080 _a004
100 _a32
101 _aSHKI
245 _aFORMALE METHODEN ZUR SPEZIFIERUNG AUTOMATISCHYER PARALLELISIERUNG
_cBRANDES, TH
942 _2udc
_cBK
999 _c22175
_d22175