{"product_id":"foundations-of-software-science-and-computational-structures-10th-international-conference-fossacs-2007-held-as-part-of-the-joint-european-conferen-9783540713883","title":"Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferen","description":"\u003cp\u003e • Author(s): Helmut Seidl\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic Design\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March\/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45283531063447,"sku":"9783540713883","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540713883.webp?v=1769305239","url":"https:\/\/atlanticbooks.com\/products\/foundations-of-software-science-and-computational-structures-10th-international-conference-fossacs-2007-held-as-part-of-the-joint-european-conferen-9783540713883","provider":"Atlantic Books","version":"1.0","type":"link"}