Larch
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.
Reviews
Popular Reviews
Reviews with the most likes.
There are no reviews for this book. Add yours and it'll show up right here!
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!