![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Program Construction Volume 69 || Semantics of nondeterministic and noncontinuous constructs
Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.Volume:
10.1007/BF
Year:
1979
Language:
english
DOI:
10.1007/BFb0014683
File:
PDF, 1.09 MB
english, 1979