{"product_id":"specification-of-software-systems-von-v-s-alagar-k-periyasamy","title":"Specification of Software Systems","description":"This extensively revised and updated new edition of \u003cb\u003e\n                    \u003ci\u003eSpecification of Software Systems\u003c\/i\u003e\n                \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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9780857292766\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781447126447\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Hardcover - 9780857292766","offer_id":40144564322397,"sku":"9780857292766","price":53.49,"currency_code":"EUR","in_stock":true},{"title":"Softcover - 9781447126447","offer_id":39415727259741,"sku":"9781447126447","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/48295796-d66d-4d71-aace-25d6c317857e.jpg?v=1775794363","url":"https:\/\/shop.autorenwelt.de\/products\/specification-of-software-systems-von-v-s-alagar-k-periyasamy","provider":"Autorenwelt Shop","version":"1.0","type":"link"}