Loading edition detail...
Preparing this view.
Join BookitisSave favorites, build lists, and follow creators.
Preparing this view.
S. J. Garland, K. D. Jones, A. Modet
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.
| Publisher | Island Press |
|---|---|
| Search language | simple |
| ISBN_13 | 978-1-461-22705-2 primary |
Publication-specific alternatives linked to the same work.