|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Compared to what? An introduction to the analysis of algorithms |
van Emde Boas, Peter |
1995 |
24 | 2 |
p. 183-185 3 p. |
artikel |
|
| 2 | Formal specification and design, Cambridge tracts in theoretical computer science |
Reichel, Horst |
1995 |
24 | 2 |
p. 185-186 2 p. |
artikel |
|
| 3 | Predicate transformers for reasoning about concurrent computation |
Chandy, K.Mani |
1995 |
24 | 2 |
p. 129-147 19 p. |
artikel |
|
| 4 | Proving properties of real-time semaphores |
Scholefield, David |
1995 |
24 | 2 |
p. 159-181 23 p. |
artikel |
|
| 5 | The matrix as in-situ data structure |
Kaldewaij, Anne |
1995 |
24 | 2 |
p. 149-158 10 p. |
artikel |
|
| 6 | Two-level functional languages, Cambridge tracts in computer science, vol. 34 |
Moggi, E |
1995 |
24 | 2 |
p. 186-187 2 p. |
artikel |
|
| 7 | Verifying programs that use causally-ordered message-passing |
Stoller, Scott D |
1995 |
24 | 2 |
p. 105-128 24 p. |
artikel |
7 gevonden resultaten