СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков

=LDR  00000cx\\j22001573\\45\\
=001  BY-NLB-ar4123446
=005  20110510173424.7
=100  \\$a20110504abely50\\\\\\ca0
=152  \\$bDVNLB
=250  \\$aПАРАЛЕЛЬНЫЯ ПРАГРАМНЫЯ СІСТЭМЫ
=550  \\$5w$3BY-NLB-ar4123445$aПАРАЛЛЕЛЬНЫЕ ПРОГРАММНЫЕ СИСТЕМЫ
=686  \\$2rugasnti$a50.05/41
=801  \0$aBY$bBY-HM0000$c20110504
=810  \\$aMODEL CHECKING. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов. ― Санкт-Петербург, 2010.
=999  \\$f28$t20110504
=999  \\$h742$t20110510