{"product_id":"job-zwiers-compositionality-concurrency-and-partial-correctness-proof-theories-for-networks-of-processes-and-their-relationship-lecture-notes-in-computer-science-321-band-321-9783540508458","title":"Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship (Lecture Notes in Computer Science, 321, Band 321)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53815816552790,"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_9783540508458_1.jpg?v=1781820111","url":"https:\/\/www.momoxbooks.com\/products\/job-zwiers-compositionality-concurrency-and-partial-correctness-proof-theories-for-networks-of-processes-and-their-relationship-lecture-notes-in-computer-science-321-band-321-9783540508458","provider":"momoxbooks","version":"1.0","type":"link"}