Larch
1 hr read
Rate this book:
About This Book
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Write a Review
Sign in to write a review.
