Stock image for illustration purposes only - book cover, edition or condition may vary.
Larch: Languages and Tools for Formal Specification
Guttag, John V.; Horning, James J.
€ 63.94
FREE Delivery in Ireland
Description for Larch: Languages and Tools for Formal Specification
Paperback. Series: Monographs in Computer Science. Num Pages: 263 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 416.
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 formal methods. To make the book accessible to such an audience, we have not presumed that the ... Read more
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 formal methods. To make the book accessible to such an audience, we have not presumed that the ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag New York Inc. United States
Number of pages
263
Condition
New
Series
Monographs in Computer Science
Number of Pages
250
Place of Publication
New York, NY, United States
ISBN
9781461276364
SKU
V9781461276364
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Larch: Languages and Tools for Formal Specification