|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstraction and specification in program development |
Stavridou, V. |
1988 |
10 | 1 |
p. 92-93 2 p. |
artikel |
|
| 2 | A first course in formal logic and its applications in computer science |
Wordsworth, J.B. |
1988 |
10 | 1 |
p. 88-89 2 p. |
artikel |
|
| 3 | Algorithms: Their efficiency and complexity |
Paterson, Mike |
1988 |
10 | 1 |
p. 93-95 3 p. |
artikel |
|
| 4 | Computability and implementability issues in abstract data types |
Kapur, Deepak |
1988 |
10 | 1 |
p. 33-63 31 p. |
artikel |
|
| 5 | Editorial Board |
1988 |
10 | 1 |
p. ii-iii nvt p. |
artikel |
||
| 6 | Introduction to combinators and λ-calculus |
Hankin, Chris |
1988 |
10 | 1 |
p. 95-97 3 p. |
artikel |
|
| 7 | Nondeterministic data flow programs: How to avoid the merge anomaly |
Broy, Manfred |
1988 |
10 | 1 |
p. 65-85 21 p. |
artikel |
|
| 8 | On deriving a LISP program from its specification |
Kruseman Aretz, F.E.J. |
1988 |
10 | 1 |
p. 19-32 14 p. |
artikel |
|
| 9 | Partially interpreted schemas for CSP programming |
Baruch, Orit |
1988 |
10 | 1 |
p. 1-18 18 p. |
artikel |
|
| 10 | Programming from first principles |
Andrews, D.J. |
1988 |
10 | 1 |
p. 87-88 2 p. |
artikel |
|
| 11 | Small programming exercises 20 |
Rem, M. |
1988 |
10 | 1 |
p. 99-105 7 p. |
artikel |
|
| 12 | Software specification techniques |
Parke, Tom |
1988 |
10 | 1 |
p. 90-92 3 p. |
artikel |
12 gevonden resultaten