| 000 | 01481nam a22002777c 4500 | ||
|---|---|---|---|
| 001 | 000020691 | ||
| 003 | RuMoIPM | ||
| 005 | 20250226201645.0 | ||
| 008 | 250226s2012 ru ||||| |||| 00| 0 rus d | ||
| 022 | _a2071-2898 (Print) | ||
| 022 | _a2071-2901 (Online) | ||
| 035 | _abiblionumber | ||
| 040 |
_aRuMoIPM _brus _ercr |
||
| 041 | _arus | ||
| 044 | _aru | ||
| 100 | _aКлимов, Андрей Валентинович | ||
| 245 |
_a№ 19. Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции _cА. В. Климов, И. Г. Ключников, С. А. Романенко |
||
| 260 |
_c2012 _aМосква _bИПМ им. М. В. Келдыша РАН |
||
| 300 | _a30 с. | ||
| 490 | 0 | _aПрепринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук | |
| 700 | 1 | _aКлючников, Илья Григорьевич | |
| 700 | 1 | _aРоманенко, Сергей Анатольевич | |
| 773 | 0 | 8 |
_w000019309 _7nnas _dМосква: ИПМ им. М. В. Келдыша РАН _tПрепринты ИПМ им.М.В.Келдыша. - 2012 _x2071-2898 (Print) |
| 856 | 4 | 0 |
_qapplication/pdf _uhttps://keldysh.ru/papers/2012/prep2012_19_rus.pdf |
| 942 | _cPR | ||
| 999 |
_c20691 _d20691 |
||