Sell, buy or rent James J. Horning textbooks

9781461276364-1461276365-Larch: Languages and Tools for Formal Specification (Monographs in Computer Science)
9781461276364-1461276365-Larch: Languages and Tools for Formal Specification (Monographs in Computer Science)

Larch: Languages and Tools for Formal Specification (Monographs in Computer Science)

by John V. Guttag, James J. Horning
ISBN-13: 9781461276364
ISBN-10: 1461276365
Edition: Softcover reprint of the original 1st ed. 1993
Publication date: 2011
Publisher: Springer
Format: Paperback 263 pages
Sell Shop now at Amazon
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.