{"product_id":"proceedings-of-the-sixth-international-workshop-on-the-acl2-theorem-prover-and-its-applications","title":"Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications","description":"\u003cp\u003eThese are the Proceedings of the Sixth International Workshop on the ACL2\u003cbr\u003e\nTheorem Prover and its Applications.  The ACL2 workshops provide the\u003cbr\u003e\nmajor technical forum for researchers to present and discuss\u003cbr\u003e\nimprovements and extensions to the theorem prover, comparisons of ACL2\u003cbr\u003e\nwith other systems, and applications of ACL2 in industry, government,\u003cbr\u003e\nand academia.\u003c\/p\u003e","brand":"Panagiotis Manolios","offers":[{"title":"Paperback","offer_id":43998165008545,"sku":"9780978849306","price":29.7,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0462\/1120\/3233\/files\/1w4jz5d-front-shortedge-384_29f6ac1b-cefa-4b73-a678-9cb419219c38.jpg?v=1748236339","url":"https:\/\/bookswholesale.myshopify.com\/products\/proceedings-of-the-sixth-international-workshop-on-the-acl2-theorem-prover-and-its-applications","provider":"BooksWholesale","version":"1.0","type":"link"}