{"product_id":"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.\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2011\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer London\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: H\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 2450\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003c\/p\u003e","brand":"V.S. Alagar","offers":[{"title":"Default Title","offer_id":41277335371954,"sku":"9780857292766","price":1769401.57,"currency_code":"IDR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/0857292765.01_SCLZZZZZZZ.jpg?v=1636195859","url":"https:\/\/readabook.store\/en-id\/products\/9780857292766","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}