Loading edition detail...
Preparing this view.
Join BookitisSave favorites, build lists, and follow creators.
Preparing this view.
John Guttag
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.
| Publisher | Springer-Verlag |
|---|---|
| Pages | 250 |
| Search language | simple |
| ISBN_10 | 0-387-94006-5 primary |
| ISBN_10 | 3-540-94006-5 primary |
Publication-specific alternatives linked to the same work.