|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An assertional correctness proof of a distributed algorithm |
Lamport, Leslie |
1982 |
2 | 3 |
p. 175-206 32 p. |
artikel |
|
| 2 | A note on a standard strategy for developing loop invariants and loops |
Gries, David |
1982 |
2 | 3 |
p. 207-214 8 p. |
artikel |
|
| 3 | Author index |
1982 |
2 | 3 |
p. 277- 1 p. |
artikel |
||
| 4 | Decomposition of distributed programs into communication-closed layers |
Elrad, Tzilla |
1982 |
2 | 3 |
p. 155-173 19 p. |
artikel |
|
| 5 | Formal specification and software development |
1982 |
2 | 3 |
p. 267-274 8 p. |
artikel |
||
| 6 | Justification of the structural synthesis of programs |
Mints, G. |
1982 |
2 | 3 |
p. 215-240 26 p. |
artikel |
|
| 7 | 3rd Conference on foundations of software technology and theoretical computer science |
1982 |
2 | 3 |
p. 275- 1 p. |
artikel |
||
| 8 | Using branching time temporal logic to synthesize synchronization skeletons |
Emerson, E.Allen |
1982 |
2 | 3 |
p. 241-266 26 p. |
artikel |
8 gevonden resultaten