| 000 | 01557nam0a2200301 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\b_ik\198251 | ||
| 005 | 20260409074630.0 | ||
| 010 |
_a978-5-91326-183-0 _970 |
||
| 035 | _a(NLR Aleph) 002270629 | ||
| 090 |
_a3945341 _c3945341 |
||
| 100 | _a20121102d2012 k y0rusy50 ca | ||
| 101 | 0 | _aeng | |
| 102 | _aRU | ||
| 105 | _aa ||||||||| | ||
| 200 | 1 |
_aThird Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 _eproceedings _f7th Intern. computer science symp. in Russia _gValery Nepomniaschy, Valery Sokolov (eds.) |
|
| 210 |
_aNizhni Novgorod _cNizhni Novgorod state univ. _d2012 |
||
| 215 |
_a149 с. _cил. _d24 |
||
| 320 | _aБиблиогр. в конце докл. | ||
| 606 |
_aПрограммы (компьют.) _jСъезды, совещания и т.п. _3RU\NLR\AUTH\661311565 _92180999 |
||
| 686 | 1 | _aЗ973.2-018я431(0) | |
| 702 | 1 |
_aNepomnjaščij _bV. A. _f1939- _gValerij Aleksandrovič _4340 |
|
| 710 | 1 | 2 |
_8eng _a"Program semantics, specification and verification: theory and application", workshop _d3 _f2012 _eNizhni Novgorod _7ba _3RU\NLR\AUTH\8810225887 _9336324 |
| 711 | 1 | 2 |
_8eng _a"Computer science in Russia", international symposium _d7 _f2012 _eNizhni Novgorod _7ba _3RU\NLR\AUTH\8810225890 _9336330 |
| 801 | 0 |
_aRU _bNLR _c20121102 _gRCR |
|
| 830 | _aТретий семинар "Семантика, спецификация и верификация программ: теория и приложения". | ||
| 942 | _cBOOK | ||
| 980 | _aNB | ||