{"product_id":"9783662496299","title":"Lecture Notes in Computer Science: 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, Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 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, Proceedings\u003c\/h1\u003e \u003ch2\u003eJacobs, Bart; Löding, Christof\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\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\u003cp\u003e\n\nThe 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.\u003cbr\u003e\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2016-03-23\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783662496299\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-662-49630-5\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 550\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45377493762188,"sku":"9783662496299","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783662496299.jpg?v=1774013769","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783662496299","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}