| 000 | 01519nam0a2200301 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\b_ik\191265 | ||
| 005 | 20260409074630.0 | ||
| 010 |
_a978-5-8397-0812-9 _9100 |
||
| 035 | _a(NLR Aleph) 002263721 | ||
| 090 |
_a3854873 _c3854873 |
||
| 100 | _a20110818d2011 k y0rusy50 ca | ||
| 101 | 0 | _aeng | |
| 102 | _aRU | ||
| 105 | _aa ||||||||| | ||
| 200 | 1 |
_aSecond Workshop "Program semantics, specification and verification: theory and applications", St. Petersburg, Russia, June 12-13, 2011 _eproceedings _f6th Inter. computer science symp. in Russia _gValery Nepomniaschy, Valery Sokolov (eds.) |
|
| 210 |
_aYaroslavl _c[s.n.] _d2011 |
||
| 215 |
_a[5], 143 Ñ. _cил. _d25 |
||
| 320 | _aÐиблиогÑ. в конÑе докл. | ||
| 606 |
_aÐÑогÑÐ°Ð¼Ð¼Ñ (компÑÑÑ.) _jСÑездÑ, ÑовеÑÐ°Ð½Ð¸Ñ Ð¸ Ñ.п. _3RU\NLR\AUTH\661311565 _92180999 |
||
| 686 | 1 | _aÐ973.2-018Ñ431(0) | |
| 710 | 1 | 2 |
_8eng _a"Program semantics, specification and verification: theory and application", workshop _d2 _f2011 _eSaint-Petersburg _7ba _3RU\NLR\AUTH\8810224745 _9334175 |
| 711 | 1 | 2 |
_8eng _a"Computer science in Russia", international symposium _f2011 _eSaint-Petersburg _7ba _3RU\NLR\AUTH\8810224746 _9334177 |
| 801 | 0 |
_aRU _bNLR _c20110818 _gRCR |
|
| 830 | _aÐÑоÑой ÑÐµÐ¼Ð¸Ð½Ð°Ñ "СеманÑика, ÑпеÑиÑикаÑÐ¸Ñ Ð¸ веÑиÑикаÑи пÑогÑамм: ÑеоÑÐ¸Ñ Ð¸ пÑиложениÑ". | ||
| 942 | _cBOOK | ||
| 980 | _aNB | ||