{"product_id":"tests-and-proofs-von-undefined","title":"Tests and Proofs","description":"\n                                This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.\n                \n                \u003cp\u003eThe 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031098260\"\u003e\u003ch3\u003e16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031098260","offer_id":40252356886621,"sku":"9783031098260","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/9126378a-6b6d-4d61-b55c-0b171d365ae9.jpg?v=1773551935","url":"https:\/\/shop.autorenwelt.de\/en\/products\/tests-and-proofs-von-undefined","provider":"Autorenwelt Shop","version":"1.0","type":"link"}