.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Specification of Software Systems
Alagar, V. S.; Periyasamy, K.
€ 70.66
FREE Delivery in Ireland
Description for Specification of Software Systems
Paperback. Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques. Series: Texts in Computer Science. Num Pages: 672 pages, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 1015.
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises ... Read more
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises ... Read more
Product Details
Format
Paperback
Publication date
2013
Publisher
Springer London Ltd United Kingdom
Number of pages
672
Condition
New
Series
Texts in Computer Science
Number of Pages
646
Place of Publication
England, United Kingdom
ISBN
9781447126447
SKU
V9781447126447
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Alagar, V. S.; Periyasamy, K.
Dr. V.S. Alagar is Professor Emeritus at the Department of Computer Science and Software Engineering of Concordia University, Montreal, Canada. Dr. K. Periyasamy is a full Professor at the Department of Computer Science of the University of Wisconsin-La Crosse, USA.
Reviews for Specification of Software Systems
From the reviews of the second edition: “It covers a lot of material, and various subsets of the book may be used – as proposed by the authors – for different course offerings, from undergraduate to advanced graduate levels, as well as a reference for practitioners … . Bibliographical notes (usually very good) and exercises are included at the ... Read more