Skip to main content

Author picture

Ralph-Johan Back

Author of Refinement Calculus: A Systematic Introduction (Texts in Computer Science)

1 Work 11 Members

Works by Ralph-Johan Back

Refinement Calculus: A Systematic Introduction (Texts in Computer Science) (1998) 11 copies

Tagged

#32 (1) computer logic (1) computer programming (1) computer science (1) Formal Programming Methods (1) J. von Wright (1) programming refinement-calculus logic (1) Q (1) QA (1) QA76 (1) QA76.6 (1) QA76.6.B28 (1) Ralph-Johan Back (1) Refinement Calculas (1) Springer (1)

Common Knowledge

There is no Common Knowledge data for this author yet. You can help.

Members

Reviews

No reviews found.

Statistics

Works: 1
Members: 11
Popularity: #857,861
Rating: 5.0

ISBNs: 2

Pictures

Links

No links

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Helpers

Is This You?

Become a LibraryThing Author.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson