{"product_id":"nasa-formal-methods-18th-international-symposium-nfm-2026-los-angeles-ca-usa-may-5-7-2026-proceedings","title":"NASA Formal Methods: 18th International Symposium, Nfm 2026, Los Angeles, Ca, Usa, May 5-7, 2026, Proceedings","description":"","brand":"Springer","offers":[{"title":"Default Title","offer_id":51892625178909,"sku":"9783032280787","price":93.95,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0901\/5692\/5213\/files\/9783032280787.jpg?v=1781730526","url":"https:\/\/bookdelico.com\/products\/nasa-formal-methods-18th-international-symposium-nfm-2026-los-angeles-ca-usa-may-5-7-2026-proceedings","provider":"Book Delico ","version":"1.0","type":"link"}