{"product_id":"journeys-between-formal-methods-and-the-railway-industry-essays-dedicated-to-alessandro-fantechi-on-the-occasion-of-his-70th-birthday-9783032124838","title":"Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday","description":"\u003cp\u003e • Author(s): Maurice H. Ter Beek | Stefania Gnesi | Anne E. Haxthausen\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47570330026135,"sku":"9783032124838","price":7122.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783032124838.webp?v=1774881373","url":"https:\/\/atlanticbooks.com\/products\/journeys-between-formal-methods-and-the-railway-industry-essays-dedicated-to-alessandro-fantechi-on-the-occasion-of-his-70th-birthday-9783032124838","provider":"Atlantic Books","version":"1.0","type":"link"}