|
|
1. |
|
Mathematical logic and programming languages /
Publication:
Englewood Cliffs, N.J. : Prentice-Hall, 1985
. 184 p. :
Date:1985
Availability:
No items available:
Withdrawn (1),
Actions:
Add to cart (remove)
|
|
|
2. |
|
Communicating sequential processes /
Publication:
Englewood Cliffs, N.J. : Prentice-Hall, 1985
. viii, 256 p. :
Date:1985
Availability:
No items available:
Withdrawn (1),
Actions:
Add to cart (remove)
|
|
|
3. |
|
The theory of mathematical machines /
Publication:
Oxford : Pergamo P., 1963
. 264 p.
, Added title in Russian | Translation of Voprosy teorii matematicheskh mashin (title romanized)
Date:1963
Availability:
Copies available:
Turkeyen Campus
Science & Technology
[QH 76 .5 V6213]
(1),
Actions:
Add to cart (remove)
|
No cover image available
No cover image available
|
|
4. |
|
Structured programming
Publication:
-London, Academic Press, 1972
. 220p.
, (A.P.I.C. studies in data processing, no.8).
Date:1972
Availability:
Copies available:
Turkeyen Campus
Science & Technology
[QA76.5 Dah]
(1),
Actions:
Add to cart (remove)
|
No cover image available
No cover image available
|
|
5. |
|
Proceeding of the international seminar on operating systems techniques, Queens university , Belfast, 1971.
by International Seminar on Opeating Systems Techniques,
Publication:
London : Academic P., 1972
. xii, 390 p.
Date:1972
Availability:
Copies available:
Turkeyen Campus
Science & Technology
[QA76 I5 1971]
(1),
Actions:
Add to cart (remove)
|
No cover image available
No cover image available
|
|
6. |
|
Mathematical logic and programming languages /
Publication:
Englewood Cliffs, N.J. : Prentice-Hall Int., 1985
. 184 p.
, Papers were 1st published in the Philosophical Transaction of the Royal Society, Series A, v 312, 1984.
Date:1985
Availability:
Copies available:
Turkeyen Campus
Science & Technology
[QA94 M38]
(2),
Actions:
Add to cart (remove)
|
|