|
|
|
|
|
00000cam0a2200000 ib4500 |
| 001 |
BY-RLST-kn-179137 |
| 005 |
20180215132955.0 |
| 010 |
# |
# |
$a 978-5-9775-0404-1
$b в переплете
|
| 100 |
# |
# |
$a 20100202d2010 u y0rusy50 ||||ba
|
| 101 |
0 |
# |
$a rus
|
| 102 |
# |
# |
$a RU
|
| 105 |
# |
# |
$a a j 001yy
|
| 109 |
# |
# |
$a ga
$a ca
|
| 200 |
1 |
# |
$a Model checking
$e верификация параллельных и распределенных программных систем
$e [для студентов вузов, программистов и исследователей в области информатики]
$f Ю. Г. Карпов
|
| 210 |
# |
# |
$a Санкт-Петербург
$c БХВ-Петербург
$d 2010
|
| 215 |
# |
# |
$a VII, 551 с.
$c ил., табл.
$d 24 см.
$e 1 компакт-диск
|
| 320 |
# |
# |
$a Библиография: с. 535―546 (196 назв.)
|
| 320 |
# |
# |
$a Предметный указатель: с. 547―551
|
| 345 |
# |
# |
$9 1000 экз.
|
| 606 |
0 |
# |
$3 BY-NLB-ar5128
$a ВЕРИФИКАЦИЯ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar25759
$a ПРОГРАММНЫЕ СИСТЕМЫ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar27429
$a РАСПРЕДЕЛЕННЫЕ СИСТЕМЫ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar30300
$a РЕАЛЬНОГО ВРЕМЕНИ СИСТЕМЫ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar2151
$a АЛГОРИТМИЗАЦИЯ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar4123445
$a ПАРАЛЛЕЛЬНЫЕ ПРОГРАММНЫЕ СИСТЕМЫ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar4123473
$a MODEL CHECKING МЕТОД
$2 DVNLB
|
| 675 |
# |
# |
$a 004.415.5.032.2
$v 4
$z rus
|
| 686 |
# |
# |
$a 50.41.01
$v 6
$2 rugasnti
|
| 700 |
# |
1 |
$3 BY-SEK-520318
$a Карпов
$b Ю. Г.
$g Юрий Глебович
$c доктор технических наук
|
| 801 |
# |
0 |
$a BY
$b BY-HM0001
$c 20100202
$g psbo
|
| 801 |
# |
2 |
$a BY
$b BY-HM0000
$c 20170926
$g psbo
|
