| 000 | 01556nam0a2200337 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\BIBL_A\011675355 | ||
| 005 | 20241114183607.0 | ||
| 010 |
_a9785317057671 _970 |
||
| 021 |
_aRU _b2018-18583 _9КН-П-1344 |
||
| 090 |
_a11259876 _c11259876 |
||
| 100 | _a20180411d2018 u y0rusy50 ca | ||
| 101 | 0 |
_arus _deng |
|
| 102 | _aRU | ||
| 105 | _aa zzzz||||1yy | ||
| 200 | 1 |
_aВведение в формальные методы верификации программ _eучебное пособие _fА. С. Камкин _gМосковский государственный университет имени М. В. Ломоносова, Факультет вычислительной математики и кибернетики |
|
| 210 |
_aМосква _cМАКС Пресс _d2018 |
||
| 215 |
_a268, [1] с. _cил., табл. _d24 |
||
| 300 | _aРез. англ. | ||
| 320 | _aБиблиогр.: с. 263-269 | ||
| 606 | 1 |
_aПрограммы(компьют.) _xВерификация _jУчебные издания _2nlr_sh1 _2nlr_sh2 _3RU\NLR\AUTH\661327565 _92209898 |
|
| 606 |
_aФормальные языки _jУчебные издания _2nlr_sh2 _3RU\NLR\AUTH\661312731 _92183175 |
||
| 686 |
_aЗ973.2-018я73-1 _2rubbk |
||
| 686 | 1 | _aЗ973.2-018.1я7 | |
| 686 | 1 | _aЗ973.2-018-07я7 | |
| 700 | 1 |
_aКамкин _bА. С. _gАлександр Сергеевич |
|
| 942 | _cBOOK | ||
| 943 |
_oPUBLIC _pTEX_48086 |
||
| 983 | 0 | 1 | _aРГ А. Н. авт. по кн. |