Larch
by
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.
- ● 75% match for you
- ● science & technology
the long version
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.
M
Margaret's verdict
"Describes Larch, a formal system based on operational and algebraic techniques for specifying programs."
highlights
what readers held onto
No highlights yet. Be the first.
discussion
what readers said
No reviews yet. Finish it; tell us what you found.