| 000 | 01698nam0a2200337 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\BIBL_A\010478381 | ||
| 005 | 20260409073244.0 | ||
| 021 |
_aRU _b2014-57927 _93512 |
||
| 035 | _a(NLR Aleph) 010478381 | ||
| 035 | _a(NILC)RuMoRGB-007531368 | ||
| 090 |
_a10055376 _c10055376 |
||
| 100 | _a20141017d2014 k y0rusy50 ca | ||
| 101 | 0 | _aeng | |
| 102 | _aRU | ||
| 105 | _aa|||z|||100yy | ||
| 200 | 1 |
_aFifth workshop "Program semantics, specification and verification: theory and applications", Moscow, Russia, June 6, 2014 _e[affiliated with] 9th International computer science symposium in Russia _eproceedings _fValery Nepomniaschy, Valery Sokolov (eds.) |
|
| 210 |
_aMoscow _c[s. n.] _d2014 |
||
| 215 |
_aIV, 78 с. _cил. _d29 |
||
| 313 | _a4й семинар 2013 | ||
| 320 | _aБиблиогр. в конце докл. | ||
| 606 |
_aПрограммирование (компьют.) _jСъезды, совещания и т.п _3RU\NLR\AUTH\661257252 _92081275 |
||
| 686 | 1 | _aЗ973.2-018я431 | |
| 702 | 1 |
_4340 _8rus _7ba _aNepomnjaščij _bV. A. _f1939- _gValerij Aleksandrovič _3RU\NLR\AUTH\7771092 _954020 |
|
| 710 | 1 | 2 |
_8eng _a"Program semantics, specification and verification: theory and application", workshop _d5 _f2014 _eMoscow _7ba _3RU\NLR\AUTH\880382781 _9431832 |
| 711 | 1 | 2 |
_8eng _a"Computer science in Russia", international symposium _d9 _f2014 _eMoscow _7ba _3RU\NLR\AUTH\880382735 _9431737 |
| 801 | 0 |
_aRU _bРГБ _c20140807 _gRCR |
|
| 830 | _a5-й семинар "Семантика программы, спецификация и верификация: теория и практика". | ||
| 942 | _cBOOK | ||
| 980 | _aNB | ||