|
|
|
|
| LEADER |
00825nam0a2200253 i 4500 |
| 001 |
6AEFE57F-AD0B-4643-87BA-3DE522732EDF |
| 010 |
|
|
|a 0-201-17237-2
|
| 100 |
|
|
|a 20090311d1990 |||y0rusy01 ba
|
| 101 |
0 |
|
|a eng
|
| 102 |
|
|
|a US
|
| 105 |
|
|
|a a z 000#y
|
| 200 |
1 |
|
|a Formal development of programs and proofs
|f ed. Edsger W. Dijkstra
|
| 210 |
|
|
|a Reading, Massachusetts
|c Addison-Wesley Publ. Co.
|d 1990
|
| 215 |
|
|
|a XIV, 242p.
|c phot.
|d 24 cm
|
| 225 |
2 |
|
|a The UT Year of Programming Series
|
| 300 |
|
|
|a Текст английский
|
| 606 |
|
|
|a Компьютеры персональные
|x Программирование
|
| 686 |
|
|
|a 32.973.2-018
|2 rubbk
|
| 686 |
|
|
|a 50
|2 rugasnti
|
| 702 |
|
1 |
|a Dijkstra
|b E. W.
|g Edsger W.
|4 340
|
| 801 |
|
0 |
|b ГПНТБ России
|a RU
|c 20090311
|
