{"product_id":"formal-methods-teaching-9783031713781","title":"Formal Methods Teaching","description":"\u003ch2\u003eBook Synopsis\u003c\/h2\u003e\u003cp\u003e1 The Significance of Symbolic Logic for Scientific Education.- Introducing GitHub Classroom into a Formal Methods Module.- Teaching through Practice: Advanced Static Analysis with LiSA.- Teaching Formal Methods for 10 Years: Reflections on Theories, Tools, Materials, and Communities.- An Educational Module for Temporal Features in Alloy 6.- Checking contracts in Event-B.- Teaching with Logika: Conceiving and Constructing Correct Software.- 8 Teaching Formal Methods in Application Domains: A Case Study in Computer and Network Security.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":49415763951959,"sku":"9783031713781","price":999.99,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9783031713781.jpg?v=1791480806","url":"https:\/\/bookcurl.com\/products\/formal-methods-teaching-9783031713781","provider":"Book Curl","version":"1.0","type":"link"}