An edition of Larch
(1993)
Larch
Languages and Tools for Formal Specification (Texts and Monographs in Computer Science)
by John Guttag, John V. Guttag, James J. Horning, and S. J. Garland
Share
×Close
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Larch: Languages and Tools for Formal Specification (Texts and Monographs in Computer Science)
April 1993, Springer
in English
0387940065 9780387940069
|
aaaa
Libraries near you:
WorldCat
|
2
Larch: languages and tools for formal specification
1993, Springer-Verlag
in English
0387940065 9780387940069
|
cccc
Libraries near you:
WorldCat
|
3
Larch: Languages and Tools for Formal Specification
January 1993, Springer
Hardcover
in English
3540940065 9783540940067
|
zzzz
Libraries near you:
WorldCat
|
|
4
Larch: Languages and Tools for Formal Specification
1993, Island Press
in English
1461227054 9781461227052
|
zzzz
Libraries near you:
WorldCat
|
Book Details
ID Numbers
Community Reviews (0)
Feedback?
History
- Created April 29, 2008
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL4316414W |
| August 5, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
| April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |