{"product_id":"9780387988702","title":"On a Method of Multiprogramming","description":"Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki\/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.","brand":"W.H.J. Feijen, D. Gries, A.J.M. van Gasteren","offers":[{"title":"Default Title","offer_id":45770350657854,"sku":"9780387988702","price":4668.84,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9780387988702_34264154-aa5b-48cb-bcb7-671e48b5dedf.jpg?v=1707250674","url":"https:\/\/exclusivebooks.co.za\/products\/9780387988702","provider":"Exclusive Books Online","version":"1.0","type":"link"}