Software Abstractions Logic, Language, and Analysis

Sign up to use
Previously published in hardcover: 2012.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.