{"product_id":"jianping-wu-formal-methods-for-protocol-engineering-and-distributed-systems-forte-xii-pstv-xix-99-ifip-advances-in-information-and-communication-technology-28-band-28-9780792386469","title":"Formal Methods for Protocol Engineering and Distributed Systems: Forte XII \/ PSTV XIX’99 (IFIP Advances in Information and Communication Technology, 28, Band 28)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53740263145814,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9780792386469_1.jpg?v=1781784779","url":"https:\/\/www.momoxbooks.com\/products\/jianping-wu-formal-methods-for-protocol-engineering-and-distributed-systems-forte-xii-pstv-xix-99-ifip-advances-in-information-and-communication-technology-28-band-28-9780792386469","provider":"momoxbooks","version":"1.0","type":"link"}