|
|
|
|
| LEADER |
01335nam a2200289 a 4500 |
| 001 |
1929797 |
| 005 |
20171111235806.0 |
| 008 |
991020s1998 gr r 000 0 eng d |
| 020 |
|
|
|a 0387984178
|
| 040 |
|
|
|a Πανεπιστήμιο Θεσσαλίας
|b gre
|e AACR2
|
| 082 |
|
0 |
|2 21 εκδ.
|a 005.14
|
| 100 |
1 |
0 |
|a Back, Ralph-Johan
|
| 245 |
0 |
0 |
|a Refinement calculus:
|b a systematic introduction/
|c Ralph-Johan Back, Joakim von Wright
|
| 260 |
0 |
0 |
|a New York:
|b Springer,
|c 1998
|
| 300 |
0 |
0 |
|a xv, 519 p. :
|b fig., tabl. ;
|c 24 cm.
|
| 490 |
0 |
0 |
|a Graduate texts in computer science
|
| 504 |
0 |
0 |
|a Περιέχει βιβλιογραφικές αναφορές (σ. 501-508) και ευρετήριο (σ. 509-519).
|
| 504 |
0 |
0 |
|a Περιέχει βιβλιογραφία και ευρετήριο
|
| 650 |
1 |
0 |
|a ΗΛΕΚΤΡΟΝΙΚΟΙ ΨΗΦΙΑΚΟΙ ΥΠΟΛΟΓΙΣΤΕΣ
|x ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
|
| 650 |
1 |
0 |
|a ΛΟΓΙΣΜΟΣ
|
| 650 |
1 |
0 |
|a ΥΠΟΛΟΓΙΣΤΙΚΗ
|
| 650 |
1 |
0 |
|a Electronic digital computers
|x Programming
|
| 700 |
1 |
0 |
|a Wright, Joakim von
|
| 710 |
1 |
0 |
|a Springer
|
| 952 |
|
|
|a GRThAnMak
|b 59cca0de6c5ad1344602442a
|c 998a
|d 945l
|e 005.14 BAC
|t 2
|x m
|z Books
|
| 952 |
|
|
|a GRThAnMak
|b 59cca30e6c5ad1344602a856
|c 998a
|d 945l
|e 005.14 BAC
|t 2
|x m
|z Books
|
| 952 |
|
|
|a GR-VoPKT
|b 59cc89286c5ad13446feb01d
|c 998a
|d 945l
|e 005.14 BAC
|t 1
|x m
|z Books
|
