{"product_id":"tests-and-proofs-von-undefined-5","title":"Tests and Proofs","description":"\n                                \n                \u003cp\u003eThis book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAP’s scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031720437\"\u003e\u003ch3\u003e18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031720437","offer_id":50088870412613,"sku":"9783031720437","price":139.09,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/db3d724e-f825-4961-ba67-171d865beb2f.jpg?v=1773465821","url":"https:\/\/shop.autorenwelt.de\/products\/tests-and-proofs-von-undefined-5","provider":"Autorenwelt Shop","version":"1.0","type":"link"}