Paperback
Add to list Added to list Larch: Languages and Tools for Formal Specification
John V. Guttag,James J. Horning
It takes longer than expected, the software’s functionality and performance are not as wonderful as hoped, and the software is not particularly malleable or easy to maintain. The intended audience…
Available to order, ships in 7-14 daysAvailable to order
