{"product_id":"9781447126447","title":"Texts in Computer Science","description":"\u003ch1\u003eTexts in Computer Science\u003c\/h1\u003e \u003ch2\u003eAlagar, V.S.; Periyasamy, K.\u003c\/h2\u003e \u003cp\u003eThis 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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2013-04-21\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781447126447\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-0-85729-277-3\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 646\u003c\/p\u003e ","brand":"Springer London","offers":[{"title":"Default Title","offer_id":47662043889804,"sku":"9781447126447","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781447126447.jpg?v=1776435769","url":"https:\/\/lateknightbooks.com\/products\/9781447126447","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}