{"product_id":"specification-of-software-systems-9780857292766","title":"Specification of Software Systems","description":"This extensively revised and updated new edition of \u003cb\u003e\u003ci\u003eSpecification of Software Systems\u003c\/i\u003e\u003c\/b\u003e builds upon the original focus on \u003ci\u003esoftware specification\u003c\/i\u003e with added emphasis on the practice of formal methods for \u003ci\u003especification and verification activities\u003c\/i\u003e 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 and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e V. S. Alagar, K. Periyasamy\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 03\/28\/2011\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 646\u003cbr\u003e\u003cb\u003eBinding Type:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 2.45lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.40h x 6.20w x 1.70d\u003cbr\u003e\u003cb\u003eISBN:\u003c\/b\u003e 9780857292766\u003cbr\u003e\u003cp\u003e\u003cb\u003eAbout the Author\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eDr. V.S. Alagar\u003c\/b\u003e is Professor Emeritus at the Department of Computer Science and Software Engineering of Concordia University, Montreal, Canada.\u003c\/p\u003e\u003cp\u003e\u003cb\u003eDr. K. Periyasamy\u003c\/b\u003e is a full Professor at the Department of Computer Science of the University of Wisconsin-La Crosse, USA.\u003c\/p\u003e\u003cbr\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":42993998659699,"sku":"9.78086E+12","price":93.38,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0555\/9255\/0515\/files\/img_20eb464d-c4ba-4cb1-87a0-b07d60a8fd86.jpg?v=1744759050","url":"https:\/\/bookstorenmore.com\/products\/specification-of-software-systems-9780857292766","provider":"Bookstore N More","version":"1.0","type":"link"}