Search

Your search keyword '"Back R"' showing total 5 results
Start Over Author "Back R" Topic total correctness
5 results on '"Back R"'

4. Refinement calculus, part II: Parallel and reactive programs

Author

Back, R. J. R., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, de Bakker, J. W., editor, de Roever, W. -P., editor, and Rozenberg, G., editor

Published
1990
Full Text
View/download PDF

5. Refinement calculus, part I: Sequential nondeterministic programs

Author

Back, R. J. R., von Wright, J., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, de Bakker, J. W., editor, de Roever, W. -P., editor, and Rozenberg, G., editor

Published
1990
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results