Author: "Ralph-Johan Back" / Journal: rex workshop - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Ralph-Johan Back"' showing total 3 results

Start Over Author "Ralph-Johan Back" Journal rex workshop

3 results on '"Ralph-Johan Back"'

1. Predicate Transformers and Higher Order Logic.

Author: Ralph-Johan Back and Joakim von Wright
Published: 1992
Full Text: View/download PDF

2. Refinement Calculus, Part I: Sequential Nondeterministic Programs.

Author: Ralph-Johan Back and Joakim von Wright
Published: 1989
Full Text: View/download PDF

3. Refinement Calculus, Part II: Parallel and Reactive Programs.

Author: Ralph-Johan Back
Published: 1989
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results