{"product_id":"formal-methods-in-architecture-springer-nature-switzerland-ag-9783030575083-proceedings-of-the-5th-international-symposium-on-formal-methods-in-architecture-5fma-lisbon-2020-sara-eloy","title":"Formal Methods in Architecture","description":"\u003cp\u003eThis edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020.\u003c\/p\u003e","brand":"Sara Eloy","offers":[{"title":"Default Title","offer_id":52274327126358,"sku":"9783030575083","price":242.49,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030575083.jpg?v=1767812570","url":"https:\/\/www.laufgard.com\/products\/formal-methods-in-architecture-springer-nature-switzerland-ag-9783030575083-proceedings-of-the-5th-international-symposium-on-formal-methods-in-architecture-5fma-lisbon-2020-sara-eloy","provider":"Bookshop","version":"1.0","type":"link"}