{"product_id":"the-programming-and-proof-system-ates-advanced-techniques-integration-into-efficient-scientific-software-9783540541882","title":"The Programming and Proof System Ates: Advanced Techniques Integration Into Efficient Scientific Software","description":"\u003cp\u003e • Author(s): Armand Puccetti\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific software design. It focuses upon recent developments concerning abstraction of data types, data base management, specification and program verification.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45283558031511,"sku":"9783540541882","price":7277.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540541882.webp?v=1769305314","url":"https:\/\/atlanticbooks.com\/products\/the-programming-and-proof-system-ates-advanced-techniques-integration-into-efficient-scientific-software-9783540541882","provider":"Atlantic Books","version":"1.0","type":"link"}