{"product_id":"ai-verification-first-international-symposium-saiv-2024-montreal-qc-canada-july-2223-2024-proceedings-9783031651113","title":"AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings","description":"\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 189 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 17 July 2024\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThis LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.   The scope of the topics was broadly categorized into two groups. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification;\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031651113\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 2024 ed.\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":47481757401338,"sku":"9783031651113","price":91.62,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1751668838724_book.jpg?v=1751745635","url":"https:\/\/shulphink.com\/products\/ai-verification-first-international-symposium-saiv-2024-montreal-qc-canada-july-2223-2024-proceedings-9783031651113","provider":"Shulph Ink","version":"1.0","type":"link"}