Larch: Languages and Tools for Formal Specification

by , ,

Write The First Customer Review
Show Synopsis

Building software often seems harder than it ought to be. 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. It does not have to be that way. This book is about programming, and the role that formal specifications can play in making programming easier and programs better. The intended audience is practicing programmers and students in undergraduate or basic graduate courses in software engineering or ...

Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

Customer Reviews

Write a Review


This item doesn't have extra editions

loading