{"product_id":"tests-and-proofs-9783030793791","title":"Tests and Proofs","description":"\u003cp\u003eThis book constitutes the proceedings of the 15th International Conference on Tests and Proofs, TAP 2021, which was held as part of Software Technologies: Applications and Foundations, STAF 2021, and took place online during June 12-25, 2021. The 6 full papers included in this volume were carefully reviewed and selected from 10 submissions. They were organized in topical sections on learning, test resource allocation and benchmarks and on testing.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52928898531607,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030793791.jpg?v=1781602394","url":"https:\/\/payment.letskitaboo.com\/te\/products\/tests-and-proofs-9783030793791","provider":"Kitaboo One eStore","version":"1.0","type":"link"}