{"product_id":"9783319254227","title":"Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (Lecture Notes in Computer Science .9407) (1st ed. 2015. 2016. xxv, 436 S. 150 Farbabb. 235 m","description":"","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING","offers":[{"title":"Default Title","offer_id":49180475949283,"sku":"00000_00000_00000_00000","price":54.99,"currency_code":"USD","in_stock":true}],"url":"https:\/\/usa.kinokuniya.com\/products\/9783319254227","provider":"Books Kinokuniya USA","version":"1.0","type":"link"}