{"product_id":"9781586038434","title":"Formal Logical Methods for System Security and Correctness","description":"The objective of this publication is to present the state-of-the-art in the field of proof technology in connection with secure and correct software. The contributors have shown that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to security and reliability analysis and guarantees. By providing the necessary theoretical background and presenting corresponding application oriented concepts, the objective is an in-depth presentation of such methods covering both theoretical foundations and industrial practice.  ","brand":"I O S Press, Incorporated","offers":[{"title":"Default Title","offer_id":49787630649584,"sku":"9781586038434","price":161.0,"currency_code":"USD","in_stock":true}],"url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9781586038434","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}