Skip to main content

Tag Formal Programming Methods

1 Time 1 Work 1 Member 2 Aliases

Tagged Works

Covers
List

Sort Count Weighted Popular

All
This year
Last 2 years
Last 5 years
Last 10 years
Before 1900
Custom

All
Ebook
Audiobook

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

1

Refinement Calculus: A Systematic Introduction (Texts in Computer Science) by Ralph-Johan Back

show more show less

Using the Tag

Aliases and Translations

Includes: Formal Programming Methods, formal programming methods

Related Tags

Loading...

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