| 000 | 01477cam0 2200361 ib4500 | ||
|---|---|---|---|
| 001 | BY-MA0000-br84934871 | ||
| 005 | 20211221142454.0 | ||
| 010 | ^a5-03-000487-4 | ||
| 100 | ^a20130110d1989 m y0rusy50 ca | ||
| 101 | 1 |
^arus ^ceng |
|
| 102 | ^aRU | ||
| 105 | ^ay z|||000yy | ||
| 109 | ^aca | ||
| 200 | 1 |
^aАвтоматизированные методы спецификации ^eперевод с английского ^fЯ. Деметрович, Е. Кнут, П. Радо |
|
| 210 |
^aМосква ^cМир ^d1989 |
||
| 215 | ^a115 с. | ||
| 320 | ^aБиблиография: с. 114—115 | ||
| 606 |
^aСПЕЦЫФІКАЦЫЯ ^3BY-NLB-ar2154279 ^2DVNLB |
||
| 606 |
^aСПЕЦИФИКАЦИЯ ^3BY-NLB-ar2154276 ^2DVNLB |
||
| 606 |
^aПРАГРАМНАЕ ЗАБЕСПЯЧЭННЕ ^3BY-NLB-ar25726 ^2DVNLB |
||
| 606 |
^aПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ^3BY-NLB-ar25725 ^2DVNLB |
||
| 606 |
^aФАРМАЛЬНЫЯ МАДЭЛІ ^3BY-NLB-ar3139080 ^2DVNLB |
||
| 606 |
^aФОРМАЛЬНЫЕ МОДЕЛИ ^3BY-NLB-ar3139079 ^2DVNLB |
||
| 686 |
^a32.973 ^2rubbk |
||
| 690 | 0 |
^a1 ^2Base ^9BY-MA0000 ^xRSEK |
|
| 700 | 1 |
^aДеметрович ^bЯ. ^gЯнош ^3BY-RLST-ar499934 ^4070 |
|
| 701 | 1 |
^aКнут ^bЭ. ^gЭлод ^3BY-RLST-ar499935 ^4070 |
|
| 701 | 1 |
^aРадо ^bП. ^gПетер ^3BY-RLST-ar499936 ^4070 |
|
| 801 | 0 |
^aBY ^bBY-MA0000 ^c20180316 ^gpsbo |
|
| 899 |
^aBY-MA0000 ^iД 30 |
||