{"product_id":"foundations-of-software-science-and-computation-structures-19th-international-conference-fossacs-2016-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2016-eindhoven-the-netherlands-april-2-8-2016-proceeding","title":"Foundations of Software Science and Computation Structures","description":"\n                                \n                \u003cp\u003eThis book constitutes the proceedings of the 19th\nInternational Conference on Foundations of Software Science and Computation\nStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in\nApril 2016, held as Part of the European Joint Conferences on Theory and\nPractice of Software, ETAPS 2016.\u003c\/p\u003e\n                                \n                \u003cp\u003e\n                                        The 31 full papers presented in this volume were\ncarefully reviewed and selected from 85 submissions. They were organized in\ntopical sections named: types; recursion and fixed-points; verification and\nprogram analysis; automata, logic, games; probabilistic and timed systems;\nproof theory and lambda calculus; algorithms for infinite systems; and monads.\n                    \n                    \u003cbr\u003e\n                                    \n                \u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783662496299\"\u003e\u003ch3\u003e19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783662496299","offer_id":39426035515485,"sku":"9783662496299","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/73461_fd2e8eb3-324f-4dc8-8865-a8bd4128e7a3.jpg?v=1786250454","url":"https:\/\/shop.autorenwelt.de\/products\/foundations-of-software-science-and-computation-structures-19th-international-conference-fossacs-2016-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2016-eindhoven-the-netherlands-april-2-8-2016-proceeding","provider":"Autorenwelt Shop","version":"1.0","type":"link"}