| 000 | 02873nam0a2200469 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\BIBL_A\011849240 | ||
| 005 | 20260409073252.0 | ||
| 010 |
_a978-5-8397-1149-5 _930 |
||
| 021 |
_aRU _b2018-73668 _9КН-П-5320 |
||
| 035 | _a(NLR Aleph) 011849240 | ||
| 035 | _a(RuMoRGB)009684575 | ||
| 090 |
_a12093604 _c12093604 |
||
| 100 | _a20181030d2018 k y0rusy50 ca | ||
| 101 | 0 | _aeng | |
| 102 | _aRU | ||
| 105 | _aa z 110zy | ||
| 200 | 1 |
_a9th workshop "Program semantics, specification and verification: theory and applications" dedicated to the memory of B. A. Trakhtenbrot, M. I. Dekhtyar, and M. K. Valiev (Yaroslavl, Russia, June 21-22, 2018) _e9th Workshop PSSV _eproceedings _fNikolay Shilov, Vladimir Zakharov (eds.) |
|
| 210 |
_aYaroslavl _cYaroslavl state univ. _d2018 |
||
| 215 |
_a97 с. _cил. _d24 |
||
| 300 | _aВ вып. дан.: 9-й семинар "Семантика, спецификация и верификация программ: теория и приложения", посвященный памяти Б. А. Трахтенброта, М. И. Дехтяря и М. К. Валиева (Ярославль, Россия, 21-22 июня 2018) | ||
| 313 | _aПо пред.изд. 2014г | ||
| 320 | _aБиблиогр. в конце докл. | ||
| 517 | 1 | _a9th Workshop PSSV | |
| 517 | 1 |
_a9-й семинар "Семантика, спецификация и верификация программ: теория и приложения", посвященный памяти Б. А. Трахтенброта, М. И. Дехтяря и М. К. Валиева (Ярославль, Россия, 21-22 июня 2018) _zrus |
|
| 600 | 1 |
_aТрахтенброт _bБ.А. _f1921 - 2016 _gБорис Авраамович _92387947 _3RU\NLR\AUTH\6601644837 |
|
| 600 | 1 |
_aДехтярь _bМ. И. _f1946 - 2018 _gМихаил Иосифович _92387944 _3RU\NLR\AUTH\6601644835 |
|
| 600 | 1 |
_aВалиев _bМ. К. _f1942 - 2018 _gМарс Котдусович _92387945 _3RU\NLR\AUTH\6601644836 |
|
| 606 |
_aПрограммирование (компьют.) _jСъезды, совещания и т.п _3RU\NLR\AUTH\661257252 _92081275 |
||
| 686 | 1 | _aЗ973.2-018я431(2) | |
| 686 | 1 | _aЗ973.233д(2)Трахтенброт | |
| 686 | 1 | _aЗ973.233д(2)Дехтярь | |
| 686 | 1 | _aЗ973.233д(2)Валиев | |
| 702 | 1 |
_aTrachtenbrot _bB.A. _f1921-2016 _gBoris Avraamovič _4570 |
|
| 702 | 1 |
_aDechtjar' _bM.I. _f1946-2018 _gMichail Iosifovič _4570 |
|
| 702 | 1 |
_aValiev _bM.K. _f1942-2018 _gMars Kotdusovič _4570 |
|
| 702 | 1 |
_aŠilov _bN. V. _gNikolaj Vjačeslavovič _4340 |
|
| 710 | 1 | 2 |
_7ba _8eng _a"Program semantics, specification and verification: theory and application", workshop _d9 _eMoscow _f2018 _9634499 _3RU\NLR\AUTH\880487054 |
| 942 | _cBOOK | ||
| 980 | _aNB | ||