{"product_id":"9783662496732","title":"Lecture Notes in Computer Science: 22nd International Conference, TACAS 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: 22nd International Conference, TACAS 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\u003eChechik, Marsha; Raskin, Jean-François\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book\nconstitutes the proceedings of the 22nd International Conference on Tools and\nAlgorithms for the Construction and Analysis of Systems, TACAS 2016, which took\nplace in Eindhoven, The Netherlands, in April 2016, held as Part of the\nEuropean Joint Conferences on Theory and Practice of Software, ETAPS 2016.\u003cbr\u003e\nThe 44 full papers presented in this volume were carefully reviewed and selected\nfrom 175 submissions. They were organized in topical sections named: abstraction\nand verification; probabilistic and stochastic systems; synthesis; tool papers;\nconcurrency; tool demos; languages and automata; security; optimization; and\ncompetition on software verification – SV-COMP.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2016-04-09\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783662496732\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-662-49674-9\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 961\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":44806002999436,"sku":"9783662496732","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783662496732.jpg?v=1774013778","url":"https:\/\/lateknightbooks.com\/products\/9783662496732","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}