{"product_id":"journeys-between-formal-methods-and-the-railway-industry-9783032124838","title":"Journeys Between Formal Methods and the Railway Industry","description":"","brand":"Springer Nature Switzerland AG","offers":[{"title":"Default Title","offer_id":53195550228823,"sku":"9783032124838","price":80.74,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/journeys-between-formal-methods-and-the-railway-industry-9783032124838","provider":"Book Curl","version":"1.0","type":"link"}