{"product_id":"9780367546663","title":"Handbook of Formal Analysis and Verification in Cryptography","description":"Handbook of Formal Analysis and Verification in Cryptography - Sedat Akleylek","brand":"INGRAM","offers":[{"title":"Paperback","offer_id":50448566780135,"sku":"9780367546663","price":91.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0614\/6942\/5895\/files\/9780367546663.webp?v=1787195181","url":"https:\/\/shop.tertulia.com\/products\/9780367546663","provider":"Tertulia","version":"1.0","type":"link"}