{"product_id":"9783540857778","title":"Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings","description":"Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings - Franck Cassez","brand":"INGRAM","offers":[{"title":"Paperback","offer_id":43356658270439,"sku":"9783540857778","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0614\/6942\/5895\/products\/9783540857778.jpg?v=1784734718","url":"https:\/\/shop.tertulia.com\/products\/9783540857778","provider":"Tertulia","version":"1.0","type":"link"}