Community
Follow Along
We're an Open Book
Home
Library
Explore
Trending
Search
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.
Reviews with the most likes.
There are no reviews for this book. Add yours and it'll show up right here!
