|
|
|
|
| LEADER |
00874cam a22002411 4500 |
| 001 |
15291 |
| 008 |
990324s1985 enk 00000 eng |
| 020 |
|
|
|a 0135614651
|
| 040 |
|
|
|a TRMEMSKU
|
| 041 |
0 |
|
|a eng
|
| 049 |
|
|
|a TR7VH
|
| 050 |
0 |
0 |
|a QA76.6
|b MAT 1985
|
| 700 |
1 |
|
|a Hoare, C. A. R., ed.
|9 143579
|
| 700 |
1 |
|
|a Shepherdson, J. C., ed.
|9 143580
|
| 245 |
1 |
0 |
|a Mathematical logic and programming languages/
|c Ed. C. A. R. Hoare, J. C. Shepherdson.
|
| 260 |
|
|
|a New Jersey:
|b Prentice-Hall,
|c 1985.
|
| 300 |
|
|
|a 184 s.;
|c 24 cm.
|
| 504 |
|
|
|a Bibliyografya var.
|
| 650 |
|
4 |
|a PROGRAMLAMA DİLLERİ (ELEKTRONİK BİLGİSAYARLAR)
|9 143581
|
| 650 |
|
4 |
|a MANTIK, SEMBOLİK VE MATEMATİKSEL
|9 143340
|
| 942 |
|
|
|2 lcc
|
| 999 |
|
|
|c 12581
|d 12581
|
| 952 |
|
|
|0 0
|1 0
|2 lcc
|4 0
|5 0
|6 QA00766 M A T1985
|7 0
|9 20520
|a MK
|b MK
|c MK
|d 1999-02-19
|e S
|g 999999.99
|o QA76.6 MAT 1985
|p 0023170
|r 2016-12-10
|w 1999-02-19
|y KT
|