{"product_id":"formal-methods-for-mobile-computing-5th-international-school-on-formal-methods-for-the-design-of-computer-communication-and-software-systems-sfm-moby-2005-bertinoro-italy-april-26-30-2005-advanced-lectures-von-marco-bernardo-alessandro-bogliolo","title":"Formal Methods for Mobile Computing","description":"\u003cp\u003e?rst-class data with coordination primitives.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540256977\"\u003e\u003ch3\u003e5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540256977","offer_id":39433180086365,"sku":"9783540256977","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/3803ba1f-b515-4e30-baec-0d755d1987c7.jpg?v=1773554146","url":"https:\/\/shop.autorenwelt.de\/products\/formal-methods-for-mobile-computing-5th-international-school-on-formal-methods-for-the-design-of-computer-communication-and-software-systems-sfm-moby-2005-bertinoro-italy-april-26-30-2005-advanced-lectures-von-marco-bernardo-alessandro-bogliolo","provider":"Autorenwelt Shop","version":"1.0","type":"link"}