STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
James J. Horning | lit.salon
James J. Horning
No bio available.
Add one in Open Library.
Books by James J. Horning (50 max)
+ shelf
+ list
Larch: Languages and Tools for Formal Specification
1993
John Guttag, John V. Guttag, James J. Horning, S. J. Garland
